Searched refs:get_lvals (Results 1 - 4 of 4) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Dlogic.py664 lvals = set (node.get_lvals ())
730 upds = set (nodes[n].get_lvals ())
866 lvals = set (node.get_lvals ())
897 for v in nodes[n2].get_lvals ()])
927 if v not in nodes[n3].get_lvals ()
1171 for (v, typ) in p.nodes[n].get_lvals ():
H A Dproblem.py814 lvals = set (p.nodes[n].get_lvals ())
H A Dstack_logic.py1352 if ('r13', word32T) in node.get_lvals ()]])
H A Dsyntax.py657 def get_lvals (self): member in class:Node

Completed in 137 milliseconds