Lines Matching refs:getNumSymbolVars
88 assert(getNumSymbolVars() == 0 && "Symbols are not supported!"); in findRationalLexMin()
108 assert(getNumSymbolVars() == 0 && "Symbols are not supported!"); in findIntegerLexMin()
244 /*numSymbols=*/getNumSymbolVars())), in findSymbolicIntegerLexMin()
1084 assert(getNumSymbolVars() == 0 && "Symbols are not yet supported!"); in computeVolume()
1414 lb->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1416 ub->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1417 for (unsigned c = 0, f = getNumSymbolVars() + 1; c < f; c++) { in getConstantBoundOnDimSize()
1490 lb->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1492 ub->resize(getNumSymbolVars() + 1); in getConstantBoundOnDimSize()
1499 for (unsigned c = 0, e = getNumSymbolVars() + 1; c < e; c++) { in getConstantBoundOnDimSize()
1503 for (unsigned c = 0, e = getNumSymbolVars() + 1; c < e; c++) in getConstantBoundOnDimSize()
1510 (*lb)[getNumSymbolVars()] += atIneq(minLbPosition, pos) - 1; in getConstantBoundOnDimSize()
1993 SmallVector<int64_t, 4> minLb(getNumSymbolVars() + 1); in unionBoundingBox()
1994 SmallVector<int64_t, 4> maxUb(getNumSymbolVars() + 1); in unionBoundingBox()