def __init__(self, node, net, gv):
BaseSimulator.__init__(self, net)
a2html = html.ABCD2HTML(node)
n2html = html.Net2HTML(net, gv, a2html)
self.info = {
"filename": node.st.filename,
"abcd": a2html.html(),
"tree": n2html.html(),
"net": n2html.svg()
}
self.tree = {}
for node in net.node():
nid = gv.nodemap[node.name]
if nid in n2html.n2t:
self.tree[node.name] = "#" + n2html.n2t[nid]
self.places = [
place.name for place in net.place() if place.name in self.tree
]
self.abcd = {}
self.transid = []
for trans in net.transition():
nid = gv.nodemap[trans.name]
self.transid.append(self.tree[trans.name])
if nid in n2html.n2a:
self.abcd[trans.name] = ", ".join("#" + i
for i in n2html.n2a[nid])
def __init__ (self, node, net, gv) :
BaseSimulator.__init__(self, net)
a2html = html.ABCD2HTML(node)
n2html = html.Net2HTML(net, gv, a2html)
self.info = {"filename" : node.st.filename,
"abcd" : a2html.html(),
"tree" : n2html.html(),
"net" : n2html.svg()}
self.tree = {}
for node in net.node() :
nid = gv.nodemap[node.name]
if nid in n2html.n2t :
self.tree[node.name] = "#" + n2html.n2t[nid]
self.places = [place.name for place in net.place()
if place.name in self.tree]
self.abcd = {}
self.transid = []
for trans in net.transition() :
nid = gv.nodemap[trans.name]
self.transid.append(self.tree[trans.name])
if nid in n2html.n2a :
self.abcd[trans.name] = ", ".join("#" + i for i in
n2html.n2a[nid])
