protected static void CheckDAG <TVertex, TEdge>(
IVertexAndEdgeListGraph <AdjacencyGraph <TVertex, TEdge>, CondensedEdge <TVertex, TEdge, AdjacencyGraph <TVertex, TEdge> > > condensedGraph)
where TEdge : IEdge <TVertex>
{
Assert.IsTrue(condensedGraph.IsDirectedAcyclicGraph());
}
