Searched refs:combine (Results 1 - 25 of 90) sorted by relevance

1234

/seL4-l4v-master/l4v/tools/c-parser/testfiles/ARM_HYP/
H A Dasm_stmt.c38 combine (int x) { function
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ARM/
H A Dasm_stmt.c38 combine (int x) { function
/seL4-l4v-master/l4v/tools/asmrefine/testfiles/
H A Dglobal_asm_stmt.c37 int combine(int x) function
/seL4-l4v-master/HOL4/src/1/
H A DAC_Sort.sig8 combine : conv, preprocess : conv} -> conv
14 [sort {assoc,comm,dest,mk,cmp,combine,preprocess}] is a conversion for
31 as EQUAL will be combined by combine conversion.
33 combine: conv taking terms of the form (t1 op t2) where t1 and t2
43 E.g., combine can combine numeric literals; preprocess could convert
H A DAC_Sort.sml42 fun sort {cmp, combine, dest, mk, assoc, comm, preprocess} = let
57 wassoc THENC LAND_CONV combine THENC RAND_CONV merge
58 | lift_equal (false, true) = wassoc THENC LAND_CONV combine
59 | lift_equal (true, false) = wcomm THENC wassoc THENC LAND_CONV combine
60 | lift_equal (false, false) = combine
105 combine = boolcombine,
141 assoc = integerTheory.INT_MUL_ASSOC, combine = intcombine,
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java75 public void combine(Region r2) { method in class:Region
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dfunc_decompileLib.sml92 fun combine [] = lemma function
93 | combine (th::thms) =
94 MATCH_MP IMP_LIST_IMPL_INST (CONJ th (combine thms))
95 val th = combine thms
200 fun combine [] = lemma function
201 | combine (th::thms) =
202 MATCH_MP IMP_EVERY_func_ok (CONJ th (combine thms))
203 val th = combine fs
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java75 public void combine(Region r2) { method in class:Region
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsTermGen.sml43 fun f nl = product_real (map (ntermc cache operl) (combine (nl,tyargl)))
72 (product_real (map (ntermc cache operl) (combine (nl,tyargl))))
76 val argl = map (random_termc cache operl) (combine (nl_chosen,tyargl))
H A DpsMCTS.sml160 let val (l1,l2) = split prepol in combine (l1, normalize_proba l2) end
174 map f (combine (prepol,noisel2))
218 val newpol = combine (prepol, map snd pol)
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtacticToe.sml40 | SOME rl => combine (thmidl,rl)
50 | SOME rl => combine (stacl,rl)
/seL4-l4v-master/HOL4/src/metis/
H A DmlibSolver.sig62 val combine : (cost_fn * solver_node) list -> solver_node value
H A DmlibMetis.sml172 val metis' = combine o rev o fst o foldl mk_provers ([],[]);
/seL4-l4v-master/HOL4/src/sort/
H A DpermLib.sig26 conversion tries to combine TAKE and DROP parts of
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DLEXSIG.sml71 and ends at the end of the second. Used to combine the locations of
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlNearestNeighbor.sml143 val rl2 = combine (rl1, rlo)
H A DmlReinforce.sml68 val d = dnew (#move_compare game) (combine (#movel game,p))
107 combine (boardl,rll)
194 dnew (#board_compare (#game rlobj)) (combine (l1,l2))
232 fun f (a,b) = combine (tob a,[[hd b],tl b])
255 val resultl = combine (targetl, map fst l)
H A DmlTreeNeuralNetwork.sml213 (map #dw bpdatal, combine (argl,dinvl))
391 val rl3 = combine (rl1,rl2)
402 all is_accurate_one (combine (rll1,rll2))
H A DmlThmData.sml36 SOME l2 => combine (l1,l2)
/seL4-l4v-master/HOL4/examples/elliptic/
H A DAlgebra.sml140 fun combine (a,b) = function
148 Map.union combine;
/seL4-l4v-master/HOL4/examples/CCS/
H A DCCSConv.sml305 val rlp = combine (map rconcl thml, map (snd o list2_pair o f) dl);
322 (combine (actl, thml))),
332 (combine (rlp, thml))) ])
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml117 fun combine fname t = function
120 t |> combine (modn ^ ".uo") |> combine (modn ^ ".ui")
/seL4-l4v-master/HOL4/polyml/basis/
H A DPolyVectorOperations.sml21 There may be a way to combine the two. *)
/seL4-l4v-master/isabelle/src/Tools/Graphview/
H A Dlayout.scala265 def combine(that: Region): Region = new Region(content ::: that.content)
283 r1.combine(r2) :: rest2
/seL4-l4v-master/l4v/isabelle/src/Tools/Graphview/
H A Dlayout.scala265 def combine(that: Region): Region = new Region(content ::: that.content)
283 r1.combine(r2) :: rest2

Completed in 210 milliseconds

1234