Searched defs:okay (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolver.h189 bool okay() { return ok; } // FALSE means solver is in an conflicting state (must never be used again!) function in class:Solver
/seL4-l4v-master/HOL4/src/n-bit/
H A DblastLib.sml1183 List.map (#redex) s2 fun okay v = Lib.all (not o term_eq v) reds function

Completed in 49 milliseconds