int count = 0;
beginGraph.writeDOT( new File( path, makeFileName( count++, "element-graph" ) ).toString() );
if( graphPartitioner instanceof ExpressionGraphPartitioner )
{
ExpressionGraphPartitioner expressionGraphPartitioner = (ExpressionGraphPartitioner) graphPartitioner;
if( expressionGraphPartitioner.getContractionGraph() != null )
expressionGraphPartitioner.getContractionGraph().writeDOT( new File( path, makeFileName( count++, "contraction-graph" ) ).toString() );
if( expressionGraphPartitioner.getExpressionGraph() != null )
expressionGraphPartitioner.getExpressionGraph().writeDOT( new File( path, makeFileName( count++, "expression-graph" ) ).toString() );
}
if( contractedGraph != null )
contractedGraph.writeDOT( new File( path, makeFileName( count++, "contracted-graph" ) ).toString() );