99 TEST(SetTest, containsPoint) {  in TEST()  argument
133 TEST(SetTest, Union) {  in TEST()  argument
162 TEST(SetTest, Intersect) {  in TEST()  argument
196 TEST(SetTest, Subtract) {  in TEST()  argument
345 TEST(SetTest, Complement) {  in TEST()  argument
373 TEST(SetTest, isEqual) {  in TEST()  argument
440 TEST(SetTest, divisions) {  in TEST()  argument
480 TEST(SetTest, divisionsDefByEq) {  in TEST()  argument
512 TEST(SetTest, divisionNonDivLocals) {  in TEST()  argument
551 TEST(SetTest, subtractDuplicateDivsRegression) {  in TEST()  argument
569 TEST(SetTest, coalesceNoPoly) {  in TEST()  argument
574 TEST(SetTest, coalesceContainedOneDim) {  in TEST()  argument
580 TEST(SetTest, coalesceFirstEmpty) {  in TEST()  argument
586 TEST(SetTest, coalesceSecondEmpty) {  in TEST()  argument
592 TEST(SetTest, coalesceBothEmpty) {  in TEST()  argument
598 TEST(SetTest, coalesceFirstUniv) {  in TEST()  argument
604 TEST(SetTest, coalesceSecondUniv) {  in TEST()  argument
610 TEST(SetTest, coalesceBothUniv) {  in TEST()  argument
616 TEST(SetTest, coalesceFirstUnivSecondEmpty) {  in TEST()  argument
622 TEST(SetTest, coalesceFirstEmptySecondUniv) {  in TEST()  argument
628 TEST(SetTest, coalesceCutOneDim) {  in TEST()  argument
637 TEST(SetTest, coalesceSeparateOneDim) {  in TEST()  argument
643 TEST(SetTest, coalesceAdjEq) {  in TEST()  argument
649 TEST(SetTest, coalesceContainedTwoDim) {  in TEST()  argument
658 TEST(SetTest, coalesceCutTwoDim) {  in TEST()  argument
667 TEST(SetTest, coalesceEqStickingOut) {  in TEST()  argument
676 TEST(SetTest, coalesceSeparateTwoDim) {  in TEST()  argument
685 TEST(SetTest, coalesceContainedEq) {  in TEST()  argument
694 TEST(SetTest, coalesceCuttingEq) {  in TEST()  argument
703 TEST(SetTest, coalesceSeparateEq) {  in TEST()  argument
712 TEST(SetTest, coalesceContainedEqAsIneq) {  in TEST()  argument
721 TEST(SetTest, coalesceContainedEqComplex) {  in TEST()  argument
730 TEST(SetTest, coalesceThreeContained) {  in TEST()  argument
740 TEST(SetTest, coalesceDoubleIncrement) {  in TEST()  argument
751 TEST(SetTest, coalesceLastCoalesced) {  in TEST()  argument
762 TEST(SetTest, coalesceDiv) {  in TEST()  argument
771 TEST(SetTest, coalesceDivOtherContained) {  in TEST()  argument
789 TEST(SetTest, computeVolume) {  in TEST()  argument
862 TEST(SetTest, computeReprWithOnlyDivLocals) {  in TEST()  argument
884 TEST(SetTest, subtractOutputSizeRegression) {  in TEST()  argument