Lines Matching refs:IntegerPolyhedron
46 IntegerPolyhedron localVarCst;
153 : IntegerPolyhedron(set.getNumInequalities(), set.getNumEqualities(), in FlatAffineValueConstraints()
296 unsigned absolutePos = IntegerPolyhedron::insertVar(kind, pos, num); in insertVar()
312 unsigned absolutePos = IntegerPolyhedron::insertVar(kind, pos, num); in insertVar()
710 return IntegerPolyhedron::hasConsistentState() && in hasConsistentState()
716 IntegerPolyhedron::removeVarRange(kind, varStart, varLimit); in removeVarRange()
1348 IntegerPolyhedron::swapVar(posA, posB); in swapVar()
1373 IntegerPolyhedron::printSpace(os); in printSpace()
1407 IntegerPolyhedron::fourierMotzkinEliminate(pos, darkShadow, in fourierMotzkinEliminate()
1435 return IntegerPolyhedron::unionBoundingBox(otherCopy); in unionBoundingBox()
1438 return IntegerPolyhedron::unionBoundingBox(otherCst); in unionBoundingBox()