Searched refs:graph_name (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | pydot.py | 1032 graph( graph_name='G', graph_type='digraph',
1035 graph_name:
1063 def __init__(self, graph_name='G', obj_dict=None, graph_type='digraph', strict=False,
1079 self.obj_dict['name'] = quote_if_necessary(graph_name)
1198 def set_name(self, graph_name):
1201 self.obj_dict['name'] = graph_name
1682 subgraph(graph_name='subG', suppress_disconnected=False, attribute=value, ...)
1684 graph_name:
1708 def __init__(self, graph_name='', obj_dict=None, suppress_disconnected=False,
1712 Graph.__init__(self, graph_name
[all...] |
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | problem.py | 524 def graph_name (nodes, node_tags, n, prev=None): function
602 n_nm = graph_name (nodes, node_tags, n)
665 nm1 = graph_name (p.nodes, p.node_tags, n_vc_x[0])
667 nm2 = graph_name (p.nodes, p.node_tags, n_vc_y[0])
|
Completed in 88 milliseconds