Searched refs:mk_or (Results 1 - 7 of 7) sorted by path
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | regexpSyntax.sig | 19 val mk_or : term list -> term value
|
H A D | regexpSyntax.sml | 33 fun mk_or tlist = mk_comb(or_tm,listSyntax.mk_list(tlist,regexp_ty)); function 230 | Or rlist => mk_or (List.map mk_regexp rlist)
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | logic.py | 15 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8, 463 return mk_implies (mk_and (pv, pv2), foldr1 (mk_or, 484 return mk_implies (pv, mk_or (out1, out2)) 545 return lambda offs: foldr1 (mk_or, 1638 return mk_or (norm_mk_not (x), norm_mk_not (y))
|
H A D | pseudo_compile.py | 17 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8,
|
H A D | search.py | 18 mk_word32, mk_word8, mk_times, Expr, Type, mk_or, mk_eq, mk_memacc,
|
H A D | solver.py | 178 foldr1, mk_or, boolT, word32T, word8T, mk_implies, Type, get_global_wrapper) 1960 path_cond = fold_assoc_balanced (mk_or, pcs)
|
H A D | syntax.py | 1377 def mk_or (x, y): function 1486 mk_eq, mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32,
|
Completed in 584 milliseconds