public static void IsAdjacentEdgesEmpty([PexAssumeUnderTest] IUndirectedGraph <T, E> g)
{
foreach (T v in g.Vertices)
{
Assert.AreEqual(
g.IsAdjacentEdgesEmpty(v),
g.AdjacentDegree(v) == 0);
}
}
public static void IsAdjacentEdgesEmpty <T, E>(IUndirectedGraph <T, E> g)
where E : IEdge <T>
{
foreach (T v in g.Vertices)
{
Assert.Equal(
g.IsAdjacentEdgesEmpty(v),
g.AdjacentDegree(v) == 0);
}
}
