/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() function in CVC4::theory::booleans::TheoryBool 56 return Theory::ppAssert(in, 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/sets/ |
H A D | theory_sets.cpp | 88 Theory::PPAssertStatus TheorySets::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert() function in CVC4::theory::sets::TheorySets 89 return d_internal->ppAssert( in, outSubstitutions ); in ppAssert()
|
H A D | theory_sets.h | 56 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
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() function in CVC4::theory::sets::TheorySetsPrivate
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | theory_arith.cpp | 77 Theory::PPAssertStatus TheoryArith::ppAssert(TNode in, SubstitutionMap& outSubstitutions) { in ppAssert() function in CVC4::theory::arith::TheoryArith 78 return d_internal->ppAssert(in, outSubstitutions); in ppAssert()
|
H A D | theory_arith.h | 82 PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override;
|
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() function in CVC4::theory::arith::TheoryArithPrivate
|
/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() function in CVC4::theory::bv::TheoryBV
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | theory.cpp | 288 Theory::PPAssertStatus Theory::ppAssert(TNode in, in ppAssert() function in CVC4::theory::Theory
|
H A D | theory.h | 557 virtual PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions);
|
H A D | theory_engine.cpp | 1045 Theory::PPAssertStatus solveStatus = theoryOf(atom)->ppAssert(literal, substitutionOut); in solve()
|
/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() function in CVC4::theory::sep::TheorySep
|
/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() function in CVC4::theory::arrays::TheoryArrays
|
/dports/math/cvc4/CVC4-1.7/src/options/ |
H A D | arith_options.toml | 388 help = "threshold for substituting an equality in ppAssert"
|