Searched refs:numBoundedDims (Results 1 – 1 of 1) sorted by relevance
798 unsigned numBoundedDims = result.first; in findIntegerSample() local799 unsigned numUnboundedDims = getNumVars() - numBoundedDims; in findIntegerSample()800 removeConstraintsInvolvingVarRange(boundedSet, numBoundedDims, in findIntegerSample()802 boundedSet.removeVarRange(numBoundedDims, boundedSet.getNumVars()); in findIntegerSample()