| /dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
| H A D | bv_subtheory_core.h | 56 bool eqNotifyTriggerEquality(TNode equality, bool value) override;
|
| H A D | bv_subtheory_core.cpp | 369 bool CoreSolver::NotifyClass::eqNotifyTriggerEquality(TNode equality, bool value) { in eqNotifyTriggerEquality() function in CoreSolver::NotifyClass
|
| /dports/math/cvc4/CVC4-1.7/src/theory/fp/ |
| H A D | theory_fp.h | 68 bool eqNotifyTriggerEquality(TNode equality, bool value) override;
|
| H A D | theory_fp.cpp | 1150 bool TheoryFp::NotifyClass::eqNotifyTriggerEquality(TNode equality, in eqNotifyTriggerEquality() function in CVC4::theory::fp::TheoryFp::NotifyClass
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | congruence_manager.h | 64 bool eqNotifyTriggerEquality(TNode equality, bool value) override;
|
| H A D | congruence_manager.cpp | 94 bool ArithCongruenceManager::ArithCongruenceNotify::eqNotifyTriggerEquality(TNode equality, bool va… in eqNotifyTriggerEquality() function in CVC4::theory::arith::ArithCongruenceManager::ArithCongruenceNotify
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | shared_terms_database.h | 81 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| H A D | theory_engine.h | 158 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| /dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
| H A D | equality_engine.h | 65 virtual bool eqNotifyTriggerEquality(TNode equality, bool value) = 0;
134 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| H A D | theory_uf.h | 50 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| H A D | equality_engine.cpp | 1327 d_notify.eqNotifyTriggerEquality(eq, true); in addTriggerEquality()
1331 d_notify.eqNotifyTriggerEquality(eq, false); in addTriggerEquality()
1611 if (!d_notify.eqNotifyTriggerEquality(triggerInfo.trigger, triggerInfo.polarity)) { in propagate()
1617 if (!d_notify.eqNotifyTriggerEquality(triggerInfo.trigger, triggerInfo.polarity)) { in propagate()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.h | 137 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| /dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
| H A D | theory_sets_private.h | 292 bool eqNotifyTriggerEquality(TNode equality, bool value) override;
|
| H A D | theory_sets_private.cpp | 2288 bool TheorySetsPrivate::NotifyClass::eqNotifyTriggerEquality(TNode equality, bool value) in eqNotifyTriggerEquality() function in CVC4::theory::sets::TheorySetsPrivate::NotifyClass
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arrays/ |
| H A D | theory_arrays.h | 279 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| /dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
| H A D | theory_datatypes.h | 60 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | conjecture_generator.h | 249 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|
| /dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
| H A D | theory_strings.h | 181 bool eqNotifyTriggerEquality(TNode equality, bool value) override in eqNotifyTriggerEquality() function
|