Searched refs:getDisjunct (Results 1 – 2 of 2) sorted by relevance
70 const IntegerRelation &getDisjunct(unsigned index) const;
39 const IntegerRelation &PresburgerRelation::getDisjunct(unsigned index) const { in getDisjunct() function in PresburgerRelation232 IntegerRelation sI = s.getDisjunct(level - 1); in getSetDifference()