Searched defs:neg (Results 1 - 25 of 32) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DLiteralNet.sml30 fun neg ({negative,...} : 'a literalNet) = AtomNet.size negative; function
H A DProblem.sml127 fun neg cl = LiteralSet.count Literal.negative cl <= 1 function
H A DTerm.sml422 and neg = !negation value
628 and neg = !negation value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DLiteralNet.sml30 fun neg ({negative,...} : 'a literalNet) = AtomNet.size negative; function
H A DProblem.sml127 fun neg cl = LiteralSet.count Literal.negative cl <= 1 function
H A DTerm.sml422 and neg = !negation value
628 and neg = !negation value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibLiteralnet.sml44 fun neg ((_, neg), _ ) = T.size neg; function
[all...]
H A DmlibCanon.sml177 val neg = map negate neg value
244 val neg = List.all (fn n => n <= 1) negl value
H A DmlibTermorder.sml235 val neg = map (I ## ~) neg value
H A DnormalForms.sml529 val (neg, pos) = partition is_neg (disjuncts tm) value
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSolve.sml127 let val neg = is_neg tm value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_configLib.sml119 val neg = boolSyntax.mk_neg value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DFP.sml40 val neg: BitsN.nbit -> BitsN.nbit value
H A DFP32.sml34 fun neg _ = err "neg" function
H A DBitsN.sig80 val neg: nbit -> nbit value
H A DBitsN.sml90 fun neg (B (a, s)) = BV (IntInf.~ a, s) function
H A DFP64.sml96 val neg = fpOp0 R.~ value
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfCertificate.sml273 val neg = if l < 0 then el > 0 else el < 0 value
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttPredict.sml305 val neg = Real.fromInt (negf bnl) value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DOverload.sml40 val neg = ref 0 value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUnicodeChars.sig114 val neg : string value
H A DUnicodeChars.sml45 val neg = U 0x00AC value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DblastLib.sml498 fun neg x = (false, x) function

Completed in 272 milliseconds

12