Home
last modified time | relevance | path

Searched refs:d_incomplete (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Drep_set.h184 bool isIncomplete() { return d_incomplete; } in isIncomplete()
241 bool d_incomplete; variable
H A Drep_set.cpp194 : d_rs(rs), d_rext(rext), d_incomplete(false) in RepSetIterator()
260 d_incomplete = true; in initialize()
276 Assert( d_incomplete ); in initialize()
378 d_incomplete = true; in do_reset_increment()
H A Dtheory_engine.h376 context::CDO<bool> d_incomplete; variable
382 d_incomplete = true; in setIncomplete()
628 inline bool isIncomplete() const { return d_incomplete; } in isIncomplete()
H A Dtheory_engine.cpp307 d_incomplete(context, false), in TheoryEngine()
653 d_curr_model_builder->postProcessModel(d_incomplete.get(), in check()
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_core.h91 CDMap<std::string, bool> d_incomplete; variable
435 bool incomplete() { return d_incomplete.size() > 0 ; } in incomplete()
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory_core.cpp707 d_incomplete(cm->getCurrentContext()), in TheoryCore()
3530 if(d_incomplete.size() > 0) { in incomplete()
3531 for(CDMap<string,bool>::iterator i=d_incomplete.begin(), in incomplete()
3532 iend=d_incomplete.end(); i!=iend; ++i) in incomplete()
4182 d_incomplete.insert(reason, true); in setIncomplete()