Searched refs:getAllDisjuncts (Results 1 – 3 of 3) sorted by relevance
67 ArrayRef<IntegerRelation> getAllDisjuncts() const;
215 for (const IntegerRelation &newDom : domain.getAllDisjuncts()) in addPiece()
35 ArrayRef<IntegerRelation> PresburgerRelation::getAllDisjuncts() const { in getAllDisjuncts() function in PresburgerRelation