addTriggerEquality (reference) in projects: dports

Searched refs:addTriggerEquality (Results 1 – 10 of 10) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A D	shared_terms_database.cpp	`49 d_equalityEngine.addTriggerEquality(equality); in addEqualityToPropagate()`
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A D	bv_subtheory_core.cpp	`97 d_equalityEngine.addTriggerEquality(node); in preRegister()`
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A D	equality_engine.h	`851 void addTriggerEquality(TNode equality);`
H A D	theory_uf.cpp	`301 d_equalityEngine.addTriggerEquality(node); in preRegisterTerm()`
H A D	equality_engine.cpp	`1312 void EqualityEngine::addTriggerEquality(TNode eq) { in addTriggerEquality() function in CVC4::theory::eq::EqualityEngine`
/dports/math/cvc4/CVC4-1.7/src/theory/fp/
H A D	theory_fp.cpp	`822 d_equalityEngine.addTriggerEquality(node); in registerTerm()`
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/
H A D	theory_arrays.cpp	`662 d_equalityEngine.addTriggerEquality(node); in preRegisterTermInternal()`
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A D	theory_datatypes.cpp	`522 d_equalityEngine.addTriggerEquality(n); in preRegisterTerm()`
/dports/math/cvc4/CVC4-1.7/src/theory/sets/
H A D	theory_sets_private.cpp	`2194 d_equalityEngine.addTriggerEquality(node); in preRegisterTerm()`
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A D	theory_strings.cpp	`857 d_equalityEngine.addTriggerEquality(n); in preRegisterTerm()`