| /dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
| H A D | theory_sets.cpp | 100 void TheorySets::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::sets::TheorySets
101 d_internal->setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| H A D | theory_sets.h | 59 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_sets_private.h | 209 void setMasterEqualityEngine(eq::EqualityEngine* eq);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | theory_arith.cpp | 64 void TheoryArith::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::arith::TheoryArith
65 d_internal->setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| H A D | theory_arith.h | 61 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | congruence_manager.h | 118 void setMasterEqualityEngine(eq::EqualityEngine* eq);
|
| H A D | congruence_manager.cpp | 153 void ArithCongruenceManager::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::arith::ArithCongruenceManager
154 d_ee.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| H A D | theory_arith_private.h | 435 void setMasterEqualityEngine(eq::EqualityEngine* eq);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
| H A D | bv_subtheory_core.h | 107 void setMasterEqualityEngine(eq::EqualityEngine* eq);
|
| H A D | bv_subtheory_core.cpp | 84 void CoreSolver::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CoreSolver
85 d_equalityEngine.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| H A D | theory_bv.h | 75 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_bv.cpp | 114 void TheoryBV::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::bv::TheoryBV
119 dynamic_cast<CoreSolver*>(d_subtheoryMap[SUB_CORE])->setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/fp/ |
| H A D | theory_fp.h | 56 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_fp.cpp | 1025 void TheoryFp::setMasterEqualityEngine(eq::EqualityEngine *eq) { in setMasterEqualityEngine() function in CVC4::theory::fp::TheoryFp
1026 d_equalityEngine.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
| H A D | theory_uf.h | 279 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_uf.cpp | 73 void TheoryUF::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::uf::TheoryUF
74 d_equalityEngine.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| H A D | equality_engine.h | 209 void setMasterEqualityEngine(EqualityEngine* master);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.h | 69 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_sep.cpp | 67 void TheorySep::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::sep::TheorySep
68 d_equalityEngine.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arrays/ |
| H A D | theory_arrays.h | 147 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_arrays.cpp | 180 void TheoryArrays::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::arrays::TheoryArrays
181 d_equalityEngine.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
| H A D | theory_datatypes.h | 266 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|
| H A D | theory_datatypes.cpp | 89 void TheoryDatatypes::setMasterEqualityEngine(eq::EqualityEngine* eq) { in setMasterEqualityEngine() function in CVC4::theory::datatypes::TheoryDatatypes
90 d_equalityEngine.setMasterEqualityEngine(eq); in setMasterEqualityEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | theory.h | 468 virtual void setMasterEqualityEngine(eq::EqualityEngine* eq) { } in setMasterEqualityEngine() function
|
| /dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
| H A D | theory_strings.h | 149 void setMasterEqualityEngine(eq::EqualityEngine* eq) override;
|