Lines Matching defs:a3
186 ListDigraph::Arc* a3 = graph.addArc(*u3, *u1);
190 ASSERT_TRUE(u3 == a3->source && u1 == a3->target);
192 ASSERT_TRUE(u1->first_in == a3 && u1->first_out == a1);
194 ASSERT_TRUE(u3->first_in == a2 && u3->first_out == a3);
206 ListDigraph::Arc* a3 = graph.addArc(*u1, *u3);
210 ASSERT_TRUE(u1 == a3->source && u3 == a3->target);
212 ASSERT_TRUE(u1->first_in == a1 && u1->first_out == a3);
214 ASSERT_TRUE(u3->first_in == a3 && u3->first_out == NULL);
226 ListDigraph::Arc* a3 = graph.addArc(*u3, *u1);
231 ASSERT_TRUE(u3 == a3->source && u1 == a3->target);
237 ASSERT_TRUE(u3->first_in == NULL && u3->first_out == a3);
252 ListDigraph::Arc* a3 = graph.addArc(*u3, *u1);
257 ASSERT_TRUE(u3 == a3->source && u1 == a3->target);
260 ASSERT_TRUE(u1->first_in == a3 && u1->first_out == NULL);
278 ListDigraph::Arc* a3 = graph.addArc(*u3, *u1);
280 graph.erase(*a3);
292 ASSERT_TRUE(NULL == a3->next_in);