Searched refs:apply_rel_wrapper (Results 1 - 2 of 2) sorted by path
/seL4-l4v-master/graph-refine/ | ||
H A D | logic.py | 1531 def apply_rel_wrapper (lhs, rhs): function 1559 return apply_rel_wrapper (lhs_v, rhs_v) |
H A D | rep_graph.py | 1145 return logic.apply_rel_wrapper (x, y) |
Completed in 66 milliseconds