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