Searched refs:pred_logic_ops (Results 1 - 1 of 1) sorted by last modified time
/seL4-l4v-master/graph-refine/ | ||
H A D | logic.py | 1623 pred_logic_ops = set (['Not', 'And', 'Or', 'Implies']) variable 1629 if not nexpr.is_op (pred_logic_ops): |
Completed in 53 milliseconds