Searched refs:copy_rename (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsyntax.py774 def copy_rename (node, renames): function
H A Dproblem.py99 self.nodes[node_renames[n]] = syntax.copy_rename (
211 self.nodes[r2] = syntax.copy_rename (self.nodes[r2],
362 nodes[n] = syntax.copy_rename (self.nodes[n],
409 self.nodes[pred] = syntax.copy_rename (self.nodes[pred],
H A Dpseudo_compile.py465 f.nodes[n] = syntax.copy_rename (f.nodes[n], (renames, {}))
H A Dlogic.py757 nodes[n] = syntax.copy_rename (nodes[n],

Completed in 72 milliseconds