Searched defs:acc (Results 1 - 25 of 53) sorted by last modified time

123

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dbuiltins.c20 int acc = i < 0 ? i : 0; local
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dmetis.sml477 val acc = subgoalProof :: acc value
H A DUseful.sml270 val acc = if List.null row then acc else List.rev row :: acc value
791 val acc = {filename = filename} :: acc value
[all...]
H A DTptp.sml1976 val acc = addFof NegatedConjectureRole (th,acc) value
2034 val acc = (initialNormalization, Normalize.initialCnf) value
2035 val acc = List.foldl addCnfAxiom acc cnfAxioms value
2036 val acc = List.foldl addFofAxiom acc fofAxioms value
[all...]
H A DTerm.sml163 val acc = (List.rev path, tm) :: acc value
304 val acc = (List.rev path, tm) :: acc value
315 val acc = (List.rev path, tm) :: acc value
[all...]
H A DRule.sml709 val (acc,apart) = value
[all...]
H A DProof.sml385 val acc = (th, thmToInference th) :: acc value
[all...]
H A DPrint.sml509 val acc = if p = p' then add t a acc else new t a acc value
519 val acc = new t a [] value
521 val (acc,_) = List.foldl layer (acc,p) ios value
[all...]
H A DNormalize.sml960 val acc value
[all...]
H A DModel.sml608 val acc = if Word.andb (s,0w1) = 0w0 then acc else acc + 1 value
797 val acc = f (V,acc) value
1187 val acc = value
1209 val acc = if pred i then i :: acc else acc value
1225 val acc = pertTerm M target tm acc value
1242 val acc = value
[all...]
H A DClause.sml177 val acc = addEq lit Rewrite.RightToLeft (r,l) acc value
178 val acc = addEq lit Rewrite.LeftToRight (l,r) acc value
[all...]
H A DActive.sml589 val acc = [] value
590 val acc = LiteralSet.foldl (deduceResolution literals cl) acc lits value
591 val acc = List.foldl (deduceParamodulationWith subterms cl) acc eqns value
592 val acc = List.foldl (deduceParamodulationInto equations cl) acc subtms value
593 val acc = List.rev acc value
826 and acc = cl :: acc value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml477 val acc = subgoalProof :: acc value
H A DUseful.sml270 val acc = if List.null row then acc else List.rev row :: acc value
791 val acc = {filename = filename} :: acc value
[all...]
H A DTptp.sml1976 val acc = addFof NegatedConjectureRole (th,acc) value
2034 val acc = (initialNormalization, Normalize.initialCnf) value
2035 val acc = List.foldl addCnfAxiom acc cnfAxioms value
2036 val acc = List.foldl addFofAxiom acc fofAxioms value
[all...]
H A DTerm.sml163 val acc = (List.rev path, tm) :: acc value
304 val acc = (List.rev path, tm) :: acc value
315 val acc = (List.rev path, tm) :: acc value
[all...]
H A DRule.sml709 val (acc,apart) = value
[all...]
H A DProof.sml385 val acc = (th, thmToInference th) :: acc value
[all...]
H A DPrint.sml509 val acc = if p = p' then add t a acc else new t a acc value
519 val acc = new t a [] value
521 val (acc,_) = List.foldl layer (acc,p) ios value
[all...]
H A DNormalize.sml960 val acc value
[all...]
H A DModel.sml608 val acc = if Word.andb (s,0w1) = 0w0 then acc else acc + 1 value
797 val acc = f (V,acc) value
1187 val acc = value
1209 val acc = if pred i then i :: acc else acc value
1225 val acc = pertTerm M target tm acc value
1242 val acc = value
[all...]
H A DClause.sml177 val acc = addEq lit Rewrite.RightToLeft (r,l) acc value
178 val acc = addEq lit Rewrite.LeftToRight (l,r) acc value
[all...]
H A DActive.sml589 val acc = [] value
590 val acc = LiteralSet.foldl (deduceResolution literals cl) acc lits value
591 val acc = List.foldl (deduceParamodulationWith subterms cl) acc eqns value
592 val acc = List.foldl (deduceParamodulationInto equations cl) acc subtms value
593 val acc = List.rev acc value
826 and acc = cl :: acc value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp435 XtAccelerators acc; /* C value */ member in class:X_Acc_Object
1009 XtAccelerators acc = GetAcc(taskData, (X_Object *)P); local
2311 static Handle EmptyAcc(TaskData *taskData, XtTranslations acc) argument
5830 XtAccelerators acc; member in union:__anon117::__anon118
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DSocket.sml361 fun acc sock = doCall (58, RunCall.unsafeCast sock) function

Completed in 150 milliseconds

123