Searched defs:PresburgerRelation (Results 1 – 3 of 3) sorted by relevance
231 explicit PresburgerRelation(const PresburgerSpace &space) : space(space) { in PresburgerRelation() function
39 class PresburgerRelation; variable
29 PresburgerRelation::PresburgerRelation(const IntegerRelation &disjunct) in PresburgerRelation() function in PresburgerRelation [all...]