Searched refs:relativePos (Results 1 – 1 of 1) sorted by relevance
1797 unsigned relativePos = pos - newSpace.getVarKindOffset(idKindRemove); in fourierMotzkinEliminate() local1798 newSpace.removeVarRange(idKindRemove, relativePos, relativePos + 1); in fourierMotzkinEliminate()