Searched refs:getLocalReprs (Results 1 – 5 of 5) sorted by relevance
280 DivisionRepr divsA = relA.getLocalReprs(); in mergeLocalVars()281 DivisionRepr divsB = relB.getLocalReprs(); in mergeLocalVars()
179 copy.getLocalReprs(&reprs); in computeReprWithOnlyDivLocals()916 IntegerRelation::getLocalReprs(std::vector<MaybeLocalRepr> *repr) const { in getLocalReprs() function in IntegerRelation1197 return getLocalReprs().hasAllReprs(); in hasOnlyDivLocals()1201 DivisionRepr divs = getLocalReprs(); in removeDuplicateDivs()
257 DivisionRepr divs = sI.getLocalReprs(&repr); in getSetDifference()
364 DivisionRepr getLocalReprs(std::vector<MaybeLocalRepr> *repr = nullptr) const;
612 DivisionRepr divs = poly.getLocalReprs(); in checkDivisionRepresentation()