public void GraphWithSelfEdgesPUT08() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); this.GraphWithSelfEdgesPUT(adjacencyGraph, 2); }
public void AddEdgeTargetNotFound04() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, true, 9); this.AddEdgeTargetNotFound(adjacencyGraph); }
public void RemoveEdgeNotFound08() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 16); this.RemoveEdgeNotFound(adjacencyGraph); }
public void RemoveEdgeNotFound07() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 16); ((GenericMutableGraphTestNEW)this).RemoveEdgeNotFound(adjacencyGraph); }
public void AddRemoveVertexNotFound05() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); this.AddRemoveVertexNotFound(adjacencyGraph); }
public void AddEdgeTargetNotFound03() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, true, 17); ((GenericMutableGraphTestNEW)this).AddEdgeTargetNotFound(adjacencyGraph); }
public void SortCyclicPUT_NEW08() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 16); this.SortCyclicPUT_NEW(adjacencyGraph, (IVertex[])null, false); }
public void AddEdgeSourceNotFound04() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 4); ((GenericMutableGraphTestNEW)this).AddEdgeSourceNotFound(adjacencyGraph); }
public void SortCyclicPUT_NEW19() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 16); IVertex[] iVertexs = new IVertex[1]; this.SortCyclicPUT_NEW(adjacencyGraph, iVertexs, true); }
public void GraphWithSelfEdgesPUT06() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); IPexChoiceRecorder choices = PexChoose.NewTest(); this.GraphWithSelfEdgesPUT(adjacencyGraph, 2, false); }
public void TestOutDegree03() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); ((GenericAdjacencyGraphTest)this).TestOutDegree(adjacencyGraph); PexAssert.IsNotNull((object)adjacencyGraph); PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected); PexAssert.IsNotNull(adjacencyGraph.Provider); PexAssert.IsNotNull(adjacencyGraph.Edges); }
public void ClearVertexTargetSource04() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); this.ClearVertexTargetSource(adjacencyGraph); PexAssert.IsNotNull((object)adjacencyGraph); PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected); PexAssert.IsNotNull(adjacencyGraph.Provider); PexAssert.IsNotNull(adjacencyGraph.Edges); }
public void ClearVertexSourceTarget04() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); ((GenericMutableGraphTestNEW)this).ClearVertexSourceTarget(adjacencyGraph); PexAssert.IsNotNull((object)adjacencyGraph); PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected); PexAssert.IsNotNull(adjacencyGraph.Provider); PexAssert.IsNotNull(adjacencyGraph.Edges); }
public void RemoveOutEdgeIf02() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); ((GenericMutableAdjacencyGraphTest)this).RemoveOutEdgeIf(adjacencyGraph); PexAssert.IsNotNull((object)adjacencyGraph); PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected); PexAssert.IsNotNull(adjacencyGraph.Provider); PexAssert.IsNotNull(adjacencyGraph.Edges); }
public void IterationPUT03() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); this.IterationPUT(adjacencyGraph); PexAssert.IsNotNull((object)adjacencyGraph); PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected); PexAssert.IsNotNull(adjacencyGraph.Provider); PexAssert.IsNotNull(adjacencyGraph.Edges); }
public void RemoveOutEdgeIf04() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph (s0, PexSafeHelpers.ByteToBoolean((byte)2), 16); this.RemoveOutEdgeIf(adjacencyGraph); PexAssert.IsNotNull((object)adjacencyGraph); PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected); PexAssert.IsNotNull(adjacencyGraph.Provider); PexAssert.IsNotNull(adjacencyGraph.Edges); }
public void GraphWithSelfEdgesPUT11() { AdjacencyGraph adjacencyGraph; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, true, 6); IPexChoiceRecorder choices = PexChoose.NewTest(); ((IPexChoiceSessionBuilder)(choices.NextSegment(1) .OnCall(0, "BreadthFirstAlgorithmSearchTestNEW.GraphWithSelfEdgesPUT(AdjacencyGraph, Int32)") )) .At(0, "to add a self ede", (object)true); this.GraphWithSelfEdgesPUT(adjacencyGraph, 2); }
public void GraphWithSelfEdgesPUT07() { AdjacencyGraph adjacencyGraph; Random random; VertexAndEdgeProvider s0 = new VertexAndEdgeProvider(); adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0); random = RandomFactory.Create(0); IPexChoiceRecorder choices = PexChoose.NewTest(); ((IPexChoiceSessionBuilder)(choices.NextSegment(2) .OnCall(0, "DepthFirstAlgorithmSearchTestNEW.GraphWithSelfEdgesPUT(AdjacencyGraph, Int32, Boolean)") )) .At(0, "Random object", (object)random); this.GraphWithSelfEdgesPUT(adjacencyGraph, 2, false); }