public void CondensateAndCheckDAG( [PexAssumeNotNull] IVertexAndEdgeListGraph <string, Edge <string> > g) { this.algo = new CondensationGraphAlgorithm <string, Edge <string>, AdjacencyGraph <string, Edge <string> > >(g); algo.Compute(); CheckDAG(g); }
public void CondensateAndCheckComponentCount(IVertexAndEdgeListGraph <string, Edge <string> > g) { this.algo = new CondensationGraphAlgorithm <string, Edge <string>, AdjacencyGraph <string, Edge <string> > >(g); this.algo.StronglyConnected = false; algo.Compute(); CheckComponentCount(g); }
public void WeaklyConnectedCondensate <TVertex, TEdge>(IVertexAndEdgeListGraph <TVertex, TEdge> g) where TEdge : IEdge <TVertex> { var algo = new CondensationGraphAlgorithm <TVertex, TEdge, AdjacencyGraph <TVertex, TEdge> >(g); algo.StronglyConnected = false; algo.Compute(); CheckVertexCount(g, algo); CheckEdgeCount(g, algo); CheckComponentCount(g, algo); }