| /dports/math/cvc4/CVC4-1.7/src/theory/idl/ |
| H A D | theory_idl.cpp | 74 d_out->setIncomplete(); in check()
85 d_out->setIncomplete(); in check()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | quantifiers_engine.cpp | 539 bool setIncomplete = false; in check() local
699 setIncomplete = true; in check()
705 setIncomplete = true; in check()
708 if( !setIncomplete ){ in check()
718 setIncomplete = true; in check()
722 if( !setIncomplete ){ in check()
741 setIncomplete = true; in check()
751 if( !setIncomplete ){ in check()
777 if( setIncomplete ){ in check()
779 getOutputChannel().setIncomplete(); in check()
|
| H A D | output_channel.h | 163 virtual void setIncomplete() = 0;
|
| H A D | theory_engine.h | 323 void setIncomplete() override { in setIncomplete() function
325 d_engine->setIncomplete(d_theory); in setIncomplete()
381 void setIncomplete(theory::TheoryId theory) { in setIncomplete() function
|
| H A D | theory_test_utils.h | 89 void setIncomplete() override {} in setIncomplete() function
|
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | proof_output_channel.h | 44 void setIncomplete() override;
|
| H A D | proof_output_channel.cpp | 74 void ProofOutputChannel::setIncomplete() { in setIncomplete() function in CVC4::ProofOutputChannel
|
| /dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/svapp/framework/ |
| H A D | Document.h | 309 void setIncomplete(bool i) { m_isIncomplete = i; } in setIncomplete() function
|
| H A D | SVFileReader.cpp | 553 m_document->setIncomplete(true);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | theory_arith_private.h | 653 inline void setIncomplete() { in setIncomplete() function
654 (d_containing.d_out)->setIncomplete(); in setIncomplete()
|
| /dports/math/cvc4/CVC4-1.7/test/unit/theory/ |
| H A D | theory_white.h | 71 void setIncomplete() override { Unreachable(); } in setIncomplete() function
|
| H A D | theory_engine_white.h | 67 void setIncomplete() override { Unimplemented(); } in setIncomplete() function
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_core.h | 518 void setIncomplete(const std::string& reason);
|
| H A D | theory.h | 423 virtual void setIncomplete(const std::string& reason);
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ua/org.eclipse.ui.cheatsheets/src/org/eclipse/ui/internal/cheatsheets/views/ |
| H A D | CoreItem.java | 553 void setIncomplete() { in setIncomplete() method in CoreItem
554 super.setIncomplete(); in setIncomplete()
|
| H A D | CheatSheetViewer.java | 550 item.setIncomplete(); in clearIcons()
1318 introItem.setIncomplete(); in restart()
|
| H A D | ViewItem.java | 577 void setIncomplete() { in setIncomplete() method in ViewItem
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
| H A D | theory.cpp | 112 void Theory::setIncomplete(const string& reason) in setIncomplete() function in Theory
115 d_theoryCore->setIncomplete(reason); in setIncomplete()
|
| H A D | theory_core.cpp | 3495 setIncomplete("Exhausted user-specified resource"); in addFact()
4065 setIncomplete("Exhausted user-specified time limit"); in timeLimitReached()
4180 void TheoryCore::setIncomplete(const string& reason) in setIncomplete() function in TheoryCore
4239 setIncomplete("Exhausted user-specified resource");
|
| /dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
| H A D | theory_uf.cpp | 158 d_out->setIncomplete(); in check()
|
| H A D | theory_uf_strong_solver.cpp | 1539 d_out->setIncomplete(); in assertNode()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | theory_arith3.cpp | 579 setIncomplete("Non-linear arithmetic equalities"); in doSolve()
1389 setIncomplete("Non-linear arithmetic inequalities"); in projectInequalities()
|
| H A D | theory_arith_old.cpp | 1331 setIncomplete("Non-linear arithmetic inequalities"); in addToBuffer()
1754 setIncomplete("Non-linear arithmetic inequalities"); in projectInequalities()
2517 setIncomplete("Some gray shadows ignored due to threshold"); in assertFact()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.cpp | 817 d_out->setIncomplete(); in check()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
| H A D | theory_quant.cpp | 8124 setIncomplete("Quantifier instantiation"); in synCheckSat()
8392 setIncomplete("Quantifier instantiation"); in naiveCheckSat()
|