public void AddEdgeTargetNotFound03()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 4);
this.AddEdgeTargetNotFound(adjacencyGraph);
}
public void AddEdgeSourceNotFound03()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 26);
this.AddEdgeSourceNotFound(adjacencyGraph);
}
public void RemoveEdgeNotFound05()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 49);
((GenericMutableGraphTestNEW)this).RemoveEdgeNotFound(adjacencyGraph);
}
public void GraphWithSelfEdgesPUT06()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 0);
this.GraphWithSelfEdgesPUT(adjacencyGraph, 2);
}
public void AddEdgeSourceNotFound03()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 0);
((GenericMutableGraphTestNEW)this).AddEdgeSourceNotFound(adjacencyGraph);
}
public void AddRemoveVertexNotFound04()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 16);
this.AddRemoveVertexNotFound(adjacencyGraph);
}
public void RemoveEdgeNotFound06()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 5);
this.RemoveEdgeNotFound(adjacencyGraph);
}
public void AddRemoveVertexNotFound02()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
((GenericMutableGraphTestNEW)this).AddRemoveVertexNotFound(adjacencyGraph);
}
public void SortCyclicPUT_NEW06()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
this.SortCyclicPUT_NEW(adjacencyGraph, (IVertex[])null, false);
}
public void SortCyclicPUT_NEW20()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 0);
IVertex[] iVertexs = new IVertex[1];
this.SortCyclicPUT_NEW(adjacencyGraph, iVertexs, false);
}
public void GraphWithSelfEdgesPUT05()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
IPexChoiceRecorder choices = PexChoose.NewTest();
this.GraphWithSelfEdgesPUT(adjacencyGraph, 2, false);
}
public void AddEdge03()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 0);
this.AddEdge(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void TestOutDegree02()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
((GenericAdjacencyGraphTest)this).TestOutDegree(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void ClearVertexSourceTarget03()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
((GenericMutableGraphTestNEW)this).ClearVertexSourceTarget(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void ClearVertexTargetSource03()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
this.ClearVertexTargetSource(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void AddRemoveVertex01()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 0);
((GenericMutableGraphTestNEW)this).AddRemoveVertex(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void IterationPUT02()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, false, 16);
this.IterationPUT(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void RemoveOutEdgeIf01()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph
(s0, PexSafeHelpers.ByteToBoolean((byte)4), 49);
((GenericMutableAdjacencyGraphTest)this).RemoveOutEdgeIf(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void GraphWithSelfEdgesPUT07()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 0);
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 GraphWithSelfEdgesPUT13()
{
AdjacencyGraph adjacencyGraph;
Random random;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 17);
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, 3, false);
}
