Searched defs:order (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dtotal-order.ml
H A Dapply-total-order.ml
/seL4-l4v-10.1.1/HOL4/src/tfl/src/test/
H A Dtfl_examplesScript.sml45 val order = ty_antiq(==`:'a -> 'a -> bool`==); value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DGeneral.sml36 datatype order = LESS | EQUAL | GREATER type
67 datatype order = LESS | EQUAL | GREATER type
86 datatype order = datatype order type
H A DFinalPolyML.sml361 fun order (s1: string, k1) (s2, k2) = function
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A Dho_discrimTools.sml305 fun order (m, _) (n, _) = m > n; function
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolver.h63 VarOrder order; // Keeps track of the decision variable order. member in class:Solver
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSolver.sml194 fun order ((r,_),(s,_)) = Real.compare (r,s); function
H A DmetisTools.sml404 fun order (cl,_) [] = cl function
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DActive.sml636 val order = KnuthBendixOrder.compare ordering value
H A DRewrite.sml680 val order : reductionOrder = K (SOME GREATER); value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DActive.sml636 val order = KnuthBendixOrder.compare ordering value
H A DRewrite.sml680 val order : reductionOrder = K (SOME GREATER); value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml1804 fun order h1 h2 = function

Completed in 154 milliseconds