Searched refs:inequalityList2 (Results 1 – 6 of 6) sorted by relevance
118 IntegerVectorList inequalityList2=b.lifted.getHalfSpaces(); in haveEmptyIntersection() local121 inequalityList.splice(inequalityList.begin(),inequalityList2); in haveEmptyIntersection()
150 IntegerVectorList inequalityList2=b.lifted.getHalfSpaces(); in haveEmptyIntersection() local153 inequalityList.splice(inequalityList.begin(),inequalityList2); in haveEmptyIntersection()
257 IntegerVectorList inequalityList2=b.lifted.getHalfSpaces(); in haveEmptyIntersection() local260 inequalityList.splice(inequalityList.begin(),inequalityList2); in haveEmptyIntersection()