Searched refs:transformedSet (Results 1 – 1 of 1) sorted by relevance
793 IntegerRelation transformedSet = transform.applyTo(*this); in findIntegerSample() local797 IntegerRelation boundedSet(transformedSet); in findIntegerSample()814 transformedSet.setAndEliminate(0, *boundedSample); in findIntegerSample()815 IntegerRelation &cone = transformedSet; in findIntegerSample()