Searched refs:PendingUnification (Results 1 – 3 of 3) sorted by relevance
66 struct PendingUnification struct in PendingUnificationStack88 Vector<PendingUnification> unificationStack;
76 FOR_EACH_CONST(i, Vector<PendingUnification>, unificationStack) in markReachableNodes()90 PendingUnification& p = unificationStack[e]; in push()154 PendingUnification& p = unificationStack[i]; in restore()251 PendingUnification& p = unificationStack[j]; in makeNewSubproblem()
854 added marked field to struct PendingUnification