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