Searched refs:RemovedV (Results 1 – 1 of 1) sorted by relevance
733 Value *RemovedV = NewVariables.pop_back_val(); in getConstraint() local734 NewIndexMap.erase(RemovedV); in getConstraint()