def init_ui (self) :
return BaseHTTPSimulator.init_ui(self)[:-1] + [{
"label" : "Show net",
"id" : "ui-shownet",
"href" : "#",
"script" : "dialog($('#model .petrinet').html())"
}]
def init_ui(self):
return BaseHTTPSimulator.init_ui(self)[:-1] + [
{
"label": "Show net",
"id": "ui-shownet",
"href": "#",
"script": "dialog($('#model .petrinet').html())"
}
]
def __init__ (self, node, net, gv, port) :
simul = ABCDSimulator(node, net, gv)
BaseHTTPSimulator.__init__(self, net, simulator=simul, port=port)
def __init__(self, node, net, gv, port):
simul = ABCDSimulator(node, net, gv)
BaseHTTPSimulator.__init__(self, net, simulator=simul, port=port)
