Searched refs:PPAssertStatus (Results 1 – 22 of 22) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/booleans/ |
H A D | theory_bool.cpp | 34 Theory::PPAssertStatus TheoryBool::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert()
|
H A D | theory_bool.h | 36 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | theory.h | 544 enum PPAssertStatus { enum 557 virtual PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions); 881 inline std::ostream& operator << (std::ostream& out, theory::Theory::PPAssertStatus status) {
|
H A D | theory.cpp | 288 Theory::PPAssertStatus Theory::ppAssert(TNode in, in ppAssert()
|
H A D | theory_engine.h | 659 theory::Theory::PPAssertStatus solve(TNode literal,
|
H A D | theory_engine.cpp | 1027 theory::Theory::PPAssertStatus TheoryEngine::solve(TNode literal, SubstitutionMap& substitutionOut)… in solve() 1045 Theory::PPAssertStatus solveStatus = theoryOf(atom)->ppAssert(literal, substitutionOut); in solve()
|
/dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
H A D | theory_sets.h | 56 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
H A D | theory_sets.cpp | 88 Theory::PPAssertStatus TheorySets::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert()
|
H A D | theory_sets_private.h | 259 Theory::PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions);
|
H A D | theory_sets_private.cpp | 2225 Theory::PPAssertStatus TheorySetsPrivate::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert() 2227 Theory::PPAssertStatus status = Theory::PP_ASSERT_STATUS_UNSOLVED; in ppAssert()
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | theory_arith.h | 82 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
H A D | theory_arith.cpp | 77 Theory::PPAssertStatus TheoryArith::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert()
|
H A D | theory_arith_private.h | 452 Theory::PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions);
|
H A D | theory_arith_private.cpp | 1321 Theory::PPAssertStatus TheoryArithPrivate::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert()
|
/dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
H A D | theory_bv.h | 103 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
H A D | theory_bv.cpp | 660 Theory::PPAssertStatus TheoryBV::ppAssert(TNode in, in ppAssert()
|
/dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
H A D | theory_sep.h | 78 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
H A D | theory_sep.cpp | 92 Theory::PPAssertStatus TheorySep::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert()
|
/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
H A D | non_clausal_simp.cpp | 178 Theory::PPAssertStatus solveStatus = in applyInternal()
|
H A D | miplib_trick.cpp | 530 Theory::PPAssertStatus status CVC4_UNUSED; // just for assertions in applyInternal()
|
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/ |
H A D | theory_arrays.h | 179 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
H A D | theory_arrays.cpp | 349 Theory::PPAssertStatus TheoryArrays::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert()
|