Searched defs:checkConsistent (Results 1 – 7 of 7) sorted by relevance
19 func checkConsistent(t *testing.T, expect, result []*Record) { func
274 private void checkConsistent() { in checkConsistent() method in Pool.MethodHandle
82 SAT::DPLLT::ConsistentResult checkConsistent(CNF_Formula& cnf, bool fullEffort) in checkConsistent() function in CVC3::SearchSatTheoryAPI258 SAT::DPLLT::ConsistentResult SearchSat::checkConsistent(SAT::CNF_Formula& cnf, bool fullEffort) in checkConsistent() function in SearchSat
330 private void checkConsistent() { in checkConsistent() method in Pool.MethodHandle