Searched refs:mk_or (Results 1 - 10 of 10) sorted by last modified time
/seL4-l4v-master/graph-refine/ |
H A D | syntax.py | 1379 def mk_or (x, y): function 1488 mk_eq, mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32,
|
H A D | solver.py | 176 foldr1, mk_or, boolT, word32T, word8T, mk_implies, Type, get_global_wrapper) 1958 path_cond = fold_assoc_balanced (mk_or, pcs)
|
H A D | search.py | 16 mk_word32, mk_word8, mk_times, Expr, Type, mk_or, mk_eq, mk_memacc,
|
H A D | pseudo_compile.py | 15 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8,
|
H A D | logic.py | 13 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8, 461 return mk_implies (mk_and (pv, pv2), foldr1 (mk_or, 482 return mk_implies (pv, mk_or (out1, out2)) 543 return lambda offs: foldr1 (mk_or, 1636 return mk_or (norm_mk_not (x), norm_mk_not (y))
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Numerics.sml | 238 fun mk_ivls [] acc = mk_or (finalize acc) 379 in mk_or [span, upper] 385 in mk_or [span,lower] 399 mk_or[num_interval dir w (1,1), base] 424 in mk_or [span, upper] 430 in mk_or [span,lower]
|
H A D | Regexp_Type.sml | 140 fun mk_or [] = EMPTY function 141 | mk_or [x] = x 142 | mk_or list = Or list;
|
H A D | regexpSyntax.sig | 20 val mk_or : term list -> term value
|
H A D | regexpSyntax.sml | 34 fun mk_or tlist = mk_comb(or_tm,listSyntax.mk_list(tlist,regexp_ty)); function 237 | Or rlist => mk_or (List.map regexp_to_term rlist)
|
H A D | Regexp_Type.sig | 53 val mk_or : regexp list -> regexp value
|
Completed in 193 milliseconds