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

/seL4-l4v-master/graph-refine/
H A Ddebug.py104 node = logic.simplify_node_elementary (p.nodes[n])
H A Dlogic.py635 def simplify_node_elementary(node): function
853 node = simplify_node_elementary (nodes[n])
H A Dstack_logic.py1095 node = logic.simplify_node_elementary (node)
H A Dsyntax.py819 node = logic.simplify_node_elementary (node)

Completed in 72 milliseconds