Searched refs:domainPoly (Results 1 – 2 of 2) sorted by relevance
587 : LexSimplexBase(constraints, isSymbol), domainPoly(symbolDomain), in SymbolicLexSimplex()591 assert(domainPoly.getNumVars() > 0 && in SymbolicLexSimplex()674 IntegerPolyhedron domainPoly; variable
416 domainPoly.addLocalFloorDiv(divCoeffs, divDenom); in addSymbolicCut()437 Matrix output(0, domainPoly.getNumVars() + 1); in recordOutput()446 result.unboundedDomain.unionInPlace(domainPoly); in recordOutput()455 result.unboundedDomain.unionInPlace(domainPoly); in recordOutput()468 result.lexmin.addPiece(domainPoly, output); in recordOutput()510 SymbolicLexMin result(domainPoly.getSpace(), var.size() - nSymbol); in computeSymbolicIntegerLexMin()572 domainPoly.getCounts(); in computeSymbolicIntegerLexMin()579 domainPoly.addInequality(symbolicSample); in computeSymbolicIntegerLexMin()622 domainPoly.truncate(frame.domainPolyCounts); in computeSymbolicIntegerLexMin()646 domainPoly.addInequality(splitIneq); in computeSymbolicIntegerLexMin()