Lines Matching defs:poly2
509 IntegerPolyhedron poly2 = in TEST() local
831 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1, 0, 3)); in TEST() local
857 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
880 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
905 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
930 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
954 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
977 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1003 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1026 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1051 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1075 IntegerPolyhedron poly2(PresburgerSpace::getSetSpace(1)); in TEST() local
1477 IntegerPolyhedron poly2 = parseIntegerPolyhedron( in TEST() local