/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | theory_simulate.h | 58 void assertFact(const Theorem& e) { } in assertFact() function
|
/dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
H A D | bv_subtheory.h | 95 virtual void assertFact(TNode fact) { d_assertionQueue.push_back(fact); } in assertFact() function
|
H A D | bv_subtheory_inequality.cpp | 148 void InequalitySolver::assertFact(TNode fact) { in assertFact() function in InequalitySolver
|
H A D | bv_subtheory_algebraic.cpp | 701 void AlgebraicSolver::assertFact(TNode fact) { in assertFact() function in CVC4::theory::bv::AlgebraicSolver
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | theory.h | 452 void assertFact(TNode assertion, bool isPreregistered) { in assertFact() function
|
H A D | theory_engine.cpp | 1353 void TheoryEngine::assertFact(TNode literal) in assertFact() function in CVC4::TheoryEngine
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
H A D | theory_array.cpp | 106 void TheoryArray::assertFact(const Theorem& e) in assertFact() function in TheoryArray
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
H A D | theory_uf.cpp | 79 void TheoryUF::assertFact(const Theorem& e) in assertFact() function in TheoryUF
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_records/ |
H A D | theory_records.cpp | 129 void TheoryRecords::assertFact(const Theorem& e) in assertFact() function in TheoryRecords
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/ |
H A D | theory_datatype.cpp | 201 void TheoryDatatype::assertFact(const Theorem& e) in assertFact() function in TheoryDatatype
|
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
H A D | datatypes_sygus.cpp | 101 void SygusSymBreakNew::assertFact( Node n, bool polarity, std::vector< Node >& lemmas ) { in assertFact() function in SygusSymBreakNew
|
H A D | theory_datatypes.cpp | 470 void TheoryDatatypes::assertFact( Node fact, Node exp ){ in assertFact() function in CVC4::theory::datatypes::TheoryDatatypes
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
H A D | theory_core.cpp | 960 void TheoryCore::assertFact(const Theorem& e) in assertFact() function in TheoryCore
|
/dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
H A D | theory_sets_private.cpp | 366 bool TheorySetsPrivate::assertFact( Node fact, Node exp ){ in assertFact() function in CVC4::theory::sets::TheorySetsPrivate
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
H A D | theory_arith3.cpp | 2020 void TheoryArith3::assertFact(const Theorem& e) in assertFact() function in TheoryArith3
|
H A D | theory_arith_new.cpp | 3138 void TheoryArithNew::assertFact(const Theorem& assertThm) in assertFact() function in TheoryArithNew
|
H A D | theory_arith_old.cpp | 2481 void TheoryArithOld::assertFact(const Theorem& e) in assertFact() function in TheoryArithOld
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/ |
H A D | theory_bitvector.cpp | 1861 void TheoryBitvector::assertFact(const Theorem& e) in assertFact() function in TheoryBitvector
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
H A D | theory_quant.cpp | 3502 void TheoryQuant::assertFact(const Theorem& thm){ in assertFact() function in TheoryQuant
|