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

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py776 def copy_rename (node, renames): function
H A Dpseudo_compile.py467 f.nodes[n] = syntax.copy_rename (f.nodes[n], (renames, {}))
H A Dproblem.py101 self.nodes[node_renames[n]] = syntax.copy_rename (
213 self.nodes[r2] = syntax.copy_rename (self.nodes[r2],
364 nodes[n] = syntax.copy_rename (self.nodes[n],
411 self.nodes[pred] = syntax.copy_rename (self.nodes[pred],
H A Dlogic.py759 nodes[n] = syntax.copy_rename (nodes[n],

Completed in 50 milliseconds