72                    EXPECT_TRUE(DT->dominates(PhiA, PhiB));  in TEST()
73                    EXPECT_TRUE(DT->dominates(PhiB, PhiA));  in TEST()
142         EXPECT_TRUE(DT->dominates(BB0, BB0));  in TEST()
143         EXPECT_TRUE(DT->dominates(BB0, BB1));  in TEST()
144         EXPECT_TRUE(DT->dominates(BB0, BB2));  in TEST()
145         EXPECT_TRUE(DT->dominates(BB0, BB3));  in TEST()
146         EXPECT_TRUE(DT->dominates(BB0, BB4));  in TEST()
148         EXPECT_FALSE(DT->dominates(BB1, BB0));  in TEST()
149         EXPECT_TRUE(DT->dominates(BB1, BB1));  in TEST()
150         EXPECT_FALSE(DT->dominates(BB1, BB2));  in TEST()
151         EXPECT_TRUE(DT->dominates(BB1, BB3));  in TEST()
152         EXPECT_FALSE(DT->dominates(BB1, BB4));  in TEST()
154         EXPECT_FALSE(DT->dominates(BB2, BB0));  in TEST()
155         EXPECT_FALSE(DT->dominates(BB2, BB1));  in TEST()
156         EXPECT_TRUE(DT->dominates(BB2, BB2));  in TEST()
157         EXPECT_TRUE(DT->dominates(BB2, BB3));  in TEST()
158         EXPECT_FALSE(DT->dominates(BB2, BB4));  in TEST()
160         EXPECT_FALSE(DT->dominates(BB3, BB0));  in TEST()
161         EXPECT_FALSE(DT->dominates(BB3, BB1));  in TEST()
162         EXPECT_FALSE(DT->dominates(BB3, BB2));  in TEST()
163         EXPECT_TRUE(DT->dominates(BB3, BB3));  in TEST()
164         EXPECT_FALSE(DT->dominates(BB3, BB4));  in TEST()
188         EXPECT_FALSE(DT->dominates(Y1, Y1));  in TEST()
189         EXPECT_TRUE(DT->dominates(Y1, Y2));  in TEST()
190         EXPECT_FALSE(DT->dominates(Y2, Y1));  in TEST()
191         EXPECT_FALSE(DT->dominates(Y2, Y2));  in TEST()
194         EXPECT_TRUE(DT->dominates(Y6, Y6));  in TEST()
195         EXPECT_TRUE(DT->dominates(Y6, Y7));  in TEST()
196         EXPECT_TRUE(DT->dominates(Y7, Y6));  in TEST()
197         EXPECT_TRUE(DT->dominates(Y7, Y7));  in TEST()
200         EXPECT_TRUE(DT->dominates(Y3, Y4));  in TEST()
201         EXPECT_FALSE(DT->dominates(Y3, Y5));  in TEST()
204         EXPECT_TRUE(DT->dominates(Y2, Y9));  in TEST()
205         EXPECT_FALSE(DT->dominates(Y3, Y9));  in TEST()
206         EXPECT_FALSE(DT->dominates(Y8, Y9));  in TEST()
209         EXPECT_TRUE(DT->dominates(Y1, Y6));  in TEST()
210         EXPECT_TRUE(DT->dominates(Y3, Y6));  in TEST()
213         EXPECT_FALSE(DT->dominates(Y6, Y1));  in TEST()
216         EXPECT_FALSE(DT->dominates(Y1, BB0));  in TEST()
217         EXPECT_TRUE(DT->dominates(Y1, BB1));  in TEST()
218         EXPECT_TRUE(DT->dominates(Y1, BB2));  in TEST()
219         EXPECT_TRUE(DT->dominates(Y1, BB3));  in TEST()
220         EXPECT_TRUE(DT->dominates(Y1, BB4));  in TEST()
222         EXPECT_FALSE(DT->dominates(Y3, BB0));  in TEST()
223         EXPECT_TRUE(DT->dominates(Y3, BB1));  in TEST()
224         EXPECT_FALSE(DT->dominates(Y3, BB2));  in TEST()
225         EXPECT_TRUE(DT->dominates(Y3, BB3));  in TEST()
226         EXPECT_FALSE(DT->dominates(Y3, BB4));  in TEST()
228         EXPECT_TRUE(DT->dominates(Y6, BB3));  in TEST()
231         EXPECT_TRUE(PDT->dominates(BB0, BB0));  in TEST()
232         EXPECT_FALSE(PDT->dominates(BB1, BB0));  in TEST()
233         EXPECT_FALSE(PDT->dominates(BB2, BB0));  in TEST()
234         EXPECT_FALSE(PDT->dominates(BB3, BB0));  in TEST()
235         EXPECT_TRUE(PDT->dominates(BB4, BB1));  in TEST()
347         EXPECT_TRUE(DT->dominates(Edge_BB0_BB2, BB2));  in TEST()
348         EXPECT_FALSE(DT->dominates(Edge_BB0_BB2, BB1));  in TEST()
350         EXPECT_FALSE(DT->dominates(Edge_BB0_BB1_a, BB1));  in TEST()
351         EXPECT_FALSE(DT->dominates(Edge_BB0_BB1_b, BB1));  in TEST()
353         EXPECT_FALSE(DT->dominates(Edge_BB0_BB1_a, BB2));  in TEST()
354         EXPECT_FALSE(DT->dominates(Edge_BB0_BB1_b, BB2));  in TEST()
419         ASSERT_TRUE(PDT->dominates(PDT->getNode(D), PDT->getNode(B)));  in TEST()
432         EXPECT_FALSE(PDT->dominates(PDT->getNode(D), PDT->getNode(B)));  in TEST()
513         ASSERT_TRUE(PDT->dominates(PDT->getNode(D), PDT->getNode(B)));  in TEST()
524         EXPECT_FALSE(PDT->dominates(PDT->getNode(D), PDT->getNode(B)));  in TEST()
619         EXPECT_FALSE(PDT->dominates(PDT->getNode(D), PDT->getNode(B)));  in TEST()
1053     EXPECT_TRUE(DT->dominates(E01, E01));  in TEST()
1054     EXPECT_FALSE(DT->dominates(E01, E02));  in TEST()
1055     EXPECT_TRUE(DT->dominates(E01, E13));  in TEST()
1056     EXPECT_FALSE(DT->dominates(E01, E23));  in TEST()
1058     EXPECT_FALSE(DT->dominates(E02, E01));  in TEST()
1059     EXPECT_TRUE(DT->dominates(E02, E02));  in TEST()
1060     EXPECT_FALSE(DT->dominates(E02, E13));  in TEST()
1061     EXPECT_TRUE(DT->dominates(E02, E23));  in TEST()
1063     EXPECT_FALSE(DT->dominates(E13, E01));  in TEST()
1064     EXPECT_FALSE(DT->dominates(E13, E02));  in TEST()
1065     EXPECT_TRUE(DT->dominates(E13, E13));  in TEST()
1066     EXPECT_FALSE(DT->dominates(E13, E23));  in TEST()
1068     EXPECT_FALSE(DT->dominates(E23, E01));  in TEST()
1069     EXPECT_FALSE(DT->dominates(E23, E02));  in TEST()
1070     EXPECT_FALSE(DT->dominates(E23, E13));  in TEST()
1071     EXPECT_TRUE(DT->dominates(E23, E23));  in TEST()
1093     EXPECT_TRUE(DT->dominates(A, I));  in TEST()
1094     EXPECT_TRUE(DT->dominates(G, I));  in TEST()
1095     EXPECT_TRUE(DT->dominates(C, I));  in TEST()
1098     EXPECT_TRUE(DT->dominates(A, U));  in TEST()
1099     EXPECT_TRUE(DT->dominates(G, U));  in TEST()
1100     EXPECT_TRUE(DT->dominates(C, U));  in TEST()