Searched refs:newSetTriggersSize (Results 1 – 2 of 2) sorted by relevance
348 unsigned newSetTriggersSize = THEORY_LAST; in addTermInternal() local357 … d_nodeIndividualTrigger[tId] = newTriggerTermSet(newSetTags, newSetTriggers, newSetTriggersSize); in addTermInternal()700 unsigned newSetTriggersSize = 0; in merge() local715 newSetTriggers[newSetTriggersSize++] = class1triggers.triggers[i1++]; in merge()719 newSetTriggers[newSetTriggersSize++] = class2triggers.triggers[i2++]; in merge()1793 unsigned newSetTriggersSize; in addTriggerTerm() local1801 newSetTriggersSize = 0; in addTriggerTerm()1810 newSetTriggers[newSetTriggersSize++] = in addTriggerTerm()1817 newSetTriggersSize = 1; in addTriggerTerm()1899 size_t size = sizeof(TriggerTermSet) + newSetTriggersSize*sizeof(EqualityNodeId); in newTriggerTermSet()[all …]
590 …riggerTermSet(Theory::Set newSetTags, EqualityNodeId* newSetTriggers, unsigned newSetTriggersSize);