Searched refs:mk_align_valid_ineq (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/ |
H A D | pseudo_compile.py | 249 return logic.mk_align_valid_ineq (('Type', typ.val), p) 368 return logic.mk_align_valid_ineq (('Type', typ.val), p)
|
H A D | solver.py | 180 from logic import mk_align_valid_ineq, pvalid_assertion1, pvalid_assertion2 namespace 1710 impl_al = mk_implies (pv, mk_align_valid_ineq (typ, p))
|
H A D | logic.py | 593 def mk_align_valid_ineq (typ, p): function
|
H A D | search.py | 1511 assn = logic.mk_align_valid_ineq (('Array', typ, num), p)
|
Completed in 44 milliseconds