public bool IsOutEdgesEmpty <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TVertex v
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.IsOutEdgesEmpty(ArrayAdjacencyGraph`2<!!0,!!1>, !!0)
            bool result = target.IsOutEdgesEmpty(v);

            return(result);
        }
        public IEnumerable <TEdge> OutEdges <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TVertex v
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.OutEdges(ArrayAdjacencyGraph`2<!!0,!!1>, !!0)
            IEnumerable <TEdge> result = target.OutEdges(v);

            return(result);
        }
        public int OutDegree <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TVertex v
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.OutDegree(ArrayAdjacencyGraph`2<!!0,!!1>, !!0)
            int result = target.OutDegree(v);

            return(result);
        }
        public bool ContainsVertex <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TVertex vertex
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.ContainsVertex(ArrayAdjacencyGraph`2<!!0,!!1>, !!0)
            bool result = target.ContainsVertex(vertex);

            return(result);
        }
        public bool TryGetOutEdges <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TVertex v,
            out IEnumerable <TEdge> edges
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.TryGetOutEdges(ArrayAdjacencyGraph`2<!!0,!!1>, !!0, IEnumerable`1<!!1>&)
            bool result = target.TryGetOutEdges(v, out edges);

            return(result);
        }
        public TEdge OutEdge <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TVertex v,
            int index
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.OutEdge(ArrayAdjacencyGraph`2<!!0,!!1>, !!0, Int32)
            TEdge result = target.OutEdge(v, index);

            return(result);
        }
        public bool ContainsEdge <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target01,
            TVertex source,
            TVertex target
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.ContainsEdge(ArrayAdjacencyGraph`2<!!0,!!1>, !!0, !!0)
            bool result = target01.ContainsEdge(source, target);

            return(result);
        }
        public bool TryGetEdge <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target01,
            TVertex source,
            TVertex target,
            out TEdge edge
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.TryGetEdge(ArrayAdjacencyGraph`2<!!0,!!1>, !!0, !!0, !!1&)
            bool result = target01.TryGetEdge(source, target, out edge);

            return(result);
        }
 public void VerticesGet <TVertex, TEdge>([PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target)
     where TEdge : IEdge <TVertex>
 {
     // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.VerticesGet(ArrayAdjacencyGraph`2<!!0,!!1>)
     IEnumerable <TVertex> result = target.Vertices;
 }
 public void IsVerticesEmptyGet <TVertex, TEdge>([PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target)
     where TEdge : IEdge <TVertex>
 {
     // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.IsVerticesEmptyGet(ArrayAdjacencyGraph`2<!!0,!!1>)
     bool result = target.IsVerticesEmpty;
 }
 public void EdgeCountGet <TVertex, TEdge>([PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target)
     where TEdge : IEdge <TVertex>
 {
     // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.EdgeCountGet(ArrayAdjacencyGraph`2<!!0,!!1>)
     int result = target.EdgeCount;
 }
 public void AllowParallelEdgesGet <TVertex, TEdge>([PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target)
     where TEdge : IEdge <TVertex>
 {
     // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.AllowParallelEdgesGet(ArrayAdjacencyGraph`2<!!0,!!1>)
     bool result = target.AllowParallelEdges;
 }