Searched defs:poly3 (Results 1 – 1 of 1) sorted by relevance
519 IntegerPolyhedron poly3 = in TEST() local840 IntegerPolyhedron poly3(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local1482 IntegerPolyhedron poly3 = in TEST() local