Searched refs:boundedSet (Results 1 – 1 of 1) sorted by relevance
797 IntegerRelation boundedSet(transformedSet); in findIntegerSample() local800 removeConstraintsInvolvingVarRange(boundedSet, numBoundedDims, in findIntegerSample()802 boundedSet.removeVarRange(numBoundedDims, boundedSet.getNumVars()); in findIntegerSample()806 Simplex(boundedSet).findIntegerSample(); in findIntegerSample()809 assert(boundedSet.containsPoint(*boundedSample) && in findIntegerSample()