Searched defs:PresburgerSet (Results 1 – 7 of 7) sorted by relevance
16 PresburgerSet::PresburgerSet(const FlatAffineConstraints &fac) in PresburgerSet() function in PresburgerSet