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()); }