Searched refs:mk_uminus (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py1322 def mk_uminus (x): function
1485 mks = (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand,
H A Dsearch.py16 from syntax import (mk_and, mk_cast, mk_implies, mk_not, mk_uminus, mk_var, namespace
1351 minus_loop_step = mk_uminus (loop)
H A Dpseudo_compile.py16 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
H A Dloop_bounds.py248 eq_vals.add ((x, syntax.mk_uminus (y)))
249 eq_vals.add ((y, syntax.mk_uminus (x)))
256 minus_loop_step = syntax.mk_uminus (loop)
H A Dlogic.py14 (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, mk_eq,
308 mk_uminus (y)),
613 mk_less_eq (p, mk_uminus (size)))])
1515 return mk_uminus (mk_word32 (0))

Completed in 60 milliseconds