public bool ContainsEdge01 <TVertex, TEdge>( [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target, TEdge edge ) where TEdge : IEdge <TVertex> { // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.ContainsEdge01(ArrayAdjacencyGraph`2<!!0,!!1>, !!1) bool result = target.ContainsEdge(edge); 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); }