Searched refs:d_isComplete (Results 1 – 8 of 8) sorted by relevance
54 context::CDO<bool> d_isComplete; variable66 d_isComplete(c, true), in InequalitySolver()74 bool isComplete() override { return d_isComplete; } in isComplete()
40 d_isComplete(c, true), in CoreSolver()185 d_isComplete = false; in check()189 if (d_isComplete && !isCompleteForTerm(fact, seen)) { in check()190 d_isComplete = false; in check()315 d_isComplete = false; in buildModel()
86 context::CDO<bool> d_isComplete; variable106 bool isComplete() override { return d_isComplete; } in isComplete()
234 d_isComplete(c, false), in AlgebraicSolver()344 d_isComplete.set(true); in check()392 d_isComplete.set(false); in check()413 d_isComplete.set(false); in quickCheck()423 d_isComplete.set(true); in quickCheck()429 d_isComplete.set(true); in quickCheck()688 return d_isComplete.get(); in isComplete()703 d_isComplete.set(false); in assertFact()
174 context::CDO<bool> d_isComplete; variable
152 d_isComplete = false; in assertFact()
181 bool d_isComplete; variable
148 d_isComplete(false), in TermCache()383 bool SygusEnumerator::TermCache::isComplete() const { return d_isComplete; } in isComplete()384 void SygusEnumerator::TermCache::setComplete() { d_isComplete = true; } in setComplete()