Searched refs:d_incomplete (Results 1 – 6 of 6) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | rep_set.h | 184 bool isIncomplete() { return d_incomplete; } in isIncomplete() 241 bool d_incomplete; variable
|
H A D | rep_set.cpp | 194 : 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 D | theory_engine.h | 376 context::CDO<bool> d_incomplete; variable 382 d_incomplete = true; in setIncomplete() 628 inline bool isIncomplete() const { return d_incomplete; } in isIncomplete()
|
H A D | theory_engine.cpp | 307 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 D | theory_core.h | 91 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 D | theory_core.cpp | 707 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()
|