public static < T > void write ( final String fileName , final Graph < T > graph ) throws IOException { write ( new File ( fileName . endsWith ( ".dot" ) ? fileName : fileName + ".dot" ) , graph ) ; }
Writes a given formula s internal data structure as a dimacs file .