Searched refs:save_graph (Results 1 - 4 of 4) sorted by last modified time
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | syntax.py | 874 def save_graph (self, fname): member in class:Function
876 problem.save_graph (self.nodes, fname)
|
| H A D | problem.py | 332 def save_graph (self, fname): member in class:Problem
334 save_graph (self.nodes, fname, cols = cols,
367 save_graph (nodes, fname, cols = cols,
637 def save_graph (nodes, fname, cols = {}, entries = [], node_tags = {}): function
|
| H A D | debug.py | 87 problem.save_graph (p.nodes, fname, cols = cols)
|
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | dot_utils.py | 134 p.save_graph('graphs/%s.dot' % f_name)
|
Completed in 36 milliseconds