def OnNode(self, node: pydot.Node) -> typing.Dict[str, typing.Any]:
for region in self.regions.values():
if node.get_name() in [str(r)[:-1] for r in region
]: # Need to cut off semicolon
return {"polyhedral": True}
return {"polyhedral": False}
def add_node(self,*args,**kwargs):
# some args are
# name = 'N'
# texlbl = 'N_{n,m}'
if len(args)==1 and isinstance(args[0],Node):
node = args[0]
else:
node = Node(*args,**kwargs)
#end if
name = node.get_name()
self.nodes[name] = node
self.graph.add_node(node)
def add_node(self,*args,**kwargs):
# some args are
# name = 'N'
# texlbl = 'N_{n,m}'
if len(args)==1 and isinstance(args[0],Node):
node = args[0]
else:
node = Node(*args,**kwargs)
#end if
name = node.get_name()
self.nodes[name] = node
self.graph.add_node(node)
def NodeIndex(node: pydot.Node) -> int:
"""Get the index of a node."""
return node_name_to_index_map[node.get_name()]
def __init__(self, node: pydot.Node, edges: List[pydot.Edge]):
self.node = node
self.transitions = []
for edge in edges:
if edge.get_source() == node.get_name():
self.transitions.append(__class__.Transition(edge))
def add_node(self, node: pydot.Node):
self.nodes_to_edges[node.get_name()] = []
if node.get_label() not in self.nodes_by_labels.keys():
self.nodes_by_labels[node.get_label()] = [node]
self.nodes_by_labels[node.get_label()] += [node]
self.graph.add_node(node)
