Searched refs:MaybeLocalRepr (Results 1 – 5 of 5) sorted by relevance
97 struct MaybeLocalRepr { struct217 MaybeLocalRepr computeSingleVarRepr(const IntegerRelation &cst,
364 DivisionRepr getLocalReprs(std::vector<MaybeLocalRepr> *repr = nullptr) const;
216 MaybeLocalRepr presburger::computeSingleVarRepr( in computeSingleVarRepr()226 MaybeLocalRepr repr{}; in computeSingleVarRepr()
178 std::vector<MaybeLocalRepr> reprs(getNumLocalVars()); in computeReprWithOnlyDivLocals()916 IntegerRelation::getLocalReprs(std::vector<MaybeLocalRepr> *repr) const { in getLocalReprs()930 MaybeLocalRepr res = in getLocalReprs()
256 std::vector<MaybeLocalRepr> repr(sI.getNumLocalVars()); in getSetDifference()