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])