Lines Matching defs:poly1
851 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local
874 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
898 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1, 0, 1)); in TEST() local
924 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
947 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
971 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
997 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
1019 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
1045 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
1068 IntegerPolyhedron poly1(PresburgerSpace::getSetSpace(1)); in TEST() local
1472 IntegerPolyhedron poly1 = in TEST() local