Searched refs:tagRep (Results 1 – 1 of 1) sorted by relevance
2110 EqualityNodeId tagRep = disequalityTriggerSet.getTrigger(currentTag); in propagateTriggerTermDisequalities() local2113 if (!hasPropagatedDisequality(currentTag, myRep, tagRep)) { in propagateTriggerTermDisequalities()2115 if (!hasPropagatedDisequality(myRep, tagRep)) { in propagateTriggerTermDisequalities()2117 d_deducedDisequalityReasons.push_back(EqualityPair(toCompare, tagRep)); in propagateTriggerTermDisequalities()2121 storePropagatedDisequality(currentTag, myRep, tagRep); in propagateTriggerTermDisequalities()2124 … if (!d_notify.eqNotifyTriggerTermEquality(currentTag, d_nodes[myRep], d_nodes[tagRep], false)) { in propagateTriggerTermDisequalities()