Searched defs:setA (Results 1 – 2 of 2) sorted by relevance
74 void setA(int A) { in setA() function
102 PresburgerSet setA = parsePresburgerSet( in TEST() local451 PresburgerSet setA{parseIntegerPolyhedron("(x) : (-x >= 0)")}; in TEST() local546 IntegerPolyhedron setA(PresburgerSpace::getSetSpace(1)); in TEST() local