831 PresburgerSet PresburgerSet::getUniverse(const PresburgerSpace &space) {  in getUniverse()
832   PresburgerSet result(space);  in getUniverse()
837 PresburgerSet PresburgerSet::getEmpty(const PresburgerSpace &space) {  in getEmpty()
838   return PresburgerSet(space);  in getEmpty()
841 PresburgerSet::PresburgerSet(const IntegerPolyhedron &disjunct)  in PresburgerSet()  function in PresburgerSet
844 PresburgerSet::PresburgerSet(const PresburgerRelation &set)  in PresburgerSet()  function in PresburgerSet
847 PresburgerSet PresburgerSet::unionSet(const PresburgerRelation &set) const {  in unionSet()
848   return PresburgerSet(PresburgerRelation::unionSet(set));  in unionSet()
851 PresburgerSet PresburgerSet::intersect(const PresburgerRelation &set) const {  in intersect()
852   return PresburgerSet(PresburgerRelation::intersect(set));  in intersect()
855 PresburgerSet PresburgerSet::complement() const {  in complement()
856   return PresburgerSet(PresburgerRelation::complement());  in complement()
859 PresburgerSet PresburgerSet::subtract(const PresburgerRelation &set) const {  in subtract()
860   return PresburgerSet(PresburgerRelation::subtract(set));  in subtract()
863 PresburgerSet PresburgerSet::coalesce() const {  in coalesce()
864   return PresburgerSet(PresburgerRelation::coalesce());  in coalesce()