Searched refs:propagateTriggerTermDisequalities (Results 1 – 2 of 2) sorted by relevance
713 bool propagateTriggerTermDisequalities(Theory::Set tags,
677 …if (!propagateTriggerTermDisequalities(class1OnlyTags, class1triggerRef, class2disequalitiesToNoti… in merge()680 …if (!propagateTriggerTermDisequalities(class2OnlyTags, class2triggerRef, class1disequalitiesToNoti… in merge()1828 propagateTriggerTermDisequalities(tags, triggerSetRef, disequalitiesToNotify); in addTriggerTerm()2076 bool EqualityEngine::propagateTriggerTermDisequalities(Theory::Set tags, TriggerTermSetRef triggerS… in propagateTriggerTermDisequalities() function in CVC4::theory::eq::EqualityEngine