Searched defs:getUniverse (Results 1 – 2 of 2) sorted by relevance
98 static IntegerRelation getUniverse(const PresburgerSpace &space) { in getUniverse() function954 static IntegerPolyhedron getUniverse(const PresburgerSpace &space) { in getUniverse() function
130 PresburgerRelation::getUniverse(const PresburgerSpace &space) { in getUniverse() function in PresburgerRelation 1056 PresburgerSet PresburgerSet::getUniverse(const PresburgerSpace &space) { getUniverse() function in PresburgerSet