public static void write ( final String fileName , final BDD bdd ) throws IOException { write ( new File ( fileName . endsWith ( ".dot" ) ? fileName : fileName + ".dot" ) , bdd ) ; }
Writes a given BDD as a dot file .