Home
last modified time | relevance | path

Searched defs:setIncomplete (Results 1 – 12 of 12) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_output_channel.cpp74 void ProofOutputChannel::setIncomplete() { in setIncomplete() function in CVC4::ProofOutputChannel
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_test_utils.h89 void setIncomplete() override {} in setIncomplete() function
H A Dtheory_engine.h323 void setIncomplete() override { in setIncomplete() function
381 void setIncomplete(theory::TheoryId theory) { in setIncomplete() function
H A Dquantifiers_engine.cpp539 bool setIncomplete = false; in check() local
/dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/svapp/framework/
H A DDocument.h309 void setIncomplete(bool i) { m_isIncomplete = i; } in setIncomplete() function
/dports/math/cvc4/CVC4-1.7/test/unit/theory/
H A Dtheory_white.h71 void setIncomplete() override { Unreachable(); } in setIncomplete() function
H A Dtheory_engine_white.h67 void setIncomplete() override { Unimplemented(); } in setIncomplete() function
/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 DViewItem.java577 void setIncomplete() { in setIncomplete() method in ViewItem
H A DCoreItem.java553 void setIncomplete() { in setIncomplete() method in CoreItem
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dtheory_arith_private.h653 inline void setIncomplete() { in setIncomplete() function
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory.cpp112 void Theory::setIncomplete(const string& reason) in setIncomplete() function in Theory
H A Dtheory_core.cpp4180 void TheoryCore::setIncomplete(const string& reason) in setIncomplete() function in TheoryCore