Searched refs:TriggerTermSet (Results 1 – 2 of 2) sorted by relevance
561 struct TriggerTermSet { struct593 TriggerTermSet& getTriggerTermSet(TriggerTermSetRef ref) { in getTriggerTermSet()595 return *(reinterpret_cast<TriggerTermSet*>(d_triggerDatabase + ref)); in getTriggerTermSet()599 const TriggerTermSet& getTriggerTermSet(TriggerTermSetRef ref) const { in getTriggerTermSet()601 return *(reinterpret_cast<const TriggerTermSet*>(d_triggerDatabase + ref)); in getTriggerTermSet()
477 TriggerTermSet& aTriggerTerms = getTriggerTermSet(aTriggerRef); in assertEquality()478 TriggerTermSet& bTriggerTerms = getTriggerTermSet(bTriggerRef); in assertEquality()694 TriggerTermSet& class1triggers = getTriggerTermSet(class1triggerRef); in merge()695 TriggerTermSet& class2triggers = getTriggerTermSet(class2triggerRef); in merge()1798 TriggerTermSet& triggerSet = getTriggerTermSet(triggerSetRef); in addTriggerTerm()1843 const TriggerTermSet& triggerSet = getTriggerTermSet(d_nodeIndividualTrigger[classId]); in getTriggerTermRepresentative()1899 size_t size = sizeof(TriggerTermSet) + newSetTriggersSize*sizeof(EqualityNodeId); in newTriggerTermSet()1912 TriggerTermSet& newSet = getTriggerTermSet(newTriggerSetRef); in newTriggerTermSet()2058 TriggerTermSet& toCompareTriggerSet = getTriggerTermSet(toCompareTriggerSetRef); in getDisequalities()2086 const TriggerTermSet& triggerSet = getTriggerTermSet(triggerSetRef); in propagateTriggerTermDisequalities()[all …]