Searched defs:newvar (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | pairs.c | 195 int bdd_setpair(bddPair *pair, int oldvar, int newvar) argument
216 bdd_setbddpair(bddPair *pair, int oldvar, BDD newvar) argument
251 bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size) argument
265 bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) argument
[all...] |
| H A D | cppext.cxx | 114 int bdd_setbddpairs(bddPair *pair, int *oldvar, const bdd *newvar, int size) argument
|
| /seL4-l4v-10.1.1/HOL4/src/meson/src/ |
| H A D | jrhTactics.sml | 140 val newvar = variant avoids x value
|
| /seL4-l4v-10.1.1/HOL4/src/ring/src/ |
| H A D | abstraction.sml | 68 val newvar = mk_var(nm, foldr (op -->) ty (map type_of pv)) value
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 540 EXTERNML value mlbdd_makepairset(value oldvar, value newvar) /* ML */ argument
574 EXTERNML value mlbdd_makebddpairset(value oldvar, value newvar) /* ML */ argument
811 EXTERNML value mlfdd_setpairs(value oldvar, value newvar) /* ML */ argument
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | acl2encodeLib.sml | 1418 val newvar = acl2_var_map var value
|
| H A D | sexp.sml | 1872 val newvar = mk_var(sym_name,ty) value
1899 val newvar = mk_var(sym_name,ty) value
|
| /seL4-l4v-10.1.1/HOL4/src/basicProof/ |
| H A D | BasicProvers.sml | 187 val newvar = variant (free_varsl (c::asl)) value
|
| /seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
| H A D | Term.sml | 860 val newvar = variant (free_vars t) newvar0 value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
| H A D | sexp.sml | 1948 val newvar = mk_var(sym_name,ty) value
1977 val newvar = mk_var(sym_name,ty) value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexp.sml | 1872 val newvar = mk_var(sym_name,ty) value
1899 val newvar = mk_var(sym_name,ty) value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | mechReasoning.sml | 797 val newvar = variant ((free_vars vars)@(free_vars body)) (Term `v_gen:DATA`); value
|
Completed in 137 milliseconds