/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
|
H A D | fdd.c | 969 int fdd_setpair(bddPair *pair, int p1, int p2) argument 1003 int fdd_setpairs(bddPair *pair, int *p1, int *p2, int size) argument
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | UTuple.sml | 11 fun pair x y = (x,y) function
|
H A D | ANF.sml | 435 val pair = (el 2 args); value
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | UTuple.sml | 11 fun pair x y = (x,y) function
|
H A D | ANF.sml | 435 val pair = (el 2 args); value
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | UTuple.sml | 11 fun pair x y = (x,y) function
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
H A D | solitare.cxx | 19 bddPair *pair; // Renaming pair variable
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Parser.sml | 34 val pair = Useful.pair; value
|
H A D | Stream.sml | 17 val pair = Useful.pair; value
|
H A D | Useful.sig | 97 val pair : 'a -> 'b -> 'a * 'b value
|
/seL4-l4v-10.1.1/HOL4/src/coretypes/ |
H A D | PairedLambda.sml | 86 local val pair = CONV_RULE (ONCE_DEPTH_CONV SYM_CONV) pairTheory.PAIR value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | run_time.cpp | 254 Handle pair = alloc_and_save(taskData, 2); local 266 Handle pair = alloc_and_save(taskData, 2); local
|
H A D | sighandler.cpp | 254 Handle pair = alloc_and_save(taskData, 2); local
|
H A D | profiling.cpp | 328 Handle pair = alloc_and_save(taskData, 2); local
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 11 val pair = Useful.pair; value
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
H A D | basics.sml | 66 fun pair x y = (x,y) function
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 11 val pair = Useful.pair; value
|
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
H A D | Solve_ineqs.sml | 320 let fun pair (ricoeffs,licoeffs) = function
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
H A D | emit_eval.sml | 31 fun pair [a, b] = (numML.fromHexString a, function
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
H A D | ANF.sml | 435 val pair = (el 2 args); value
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | regexpMatch.sml | 12 fun pair x y = (x,y) function
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
H A D | milawa_coreScript.sml | 456 val pair = (th |> concl |> rand |> rand |> pairSyntax.is_pair) handle HOL_ERR _ => false value
|
/seL4-l4v-10.1.1/HOL4/src/IndDef/ |
H A D | IndDefRules.sml | 371 fun pair x y = (x,y) function
|