src/machinelearning/BinaryDecisionDiagram.java
public void dotFile(String filename) {
	    ByteArrayOutputStream baos = new ByteArrayOutputStream();
	    PrintStream ps = new PrintStream(baos);
	    PrintStream old = System.out;
	    System.setOut(ps);
	    root.printDot();
	    System.out.flush();
	    System.setOut(old);
		
	    String dot = baos.toString();
	    
		File outputFile = new File("results/bddsDOT/"+filename+".dot");

        try(BufferedWriter writer = new BufferedWriter(new FileWriter(outputFile))) {
        	writer.write(dot);
        } catch (Exception e) {
        	System.out.println("Exception when saving the BDD into a dot file.");
        	e.printStackTrace();
        }
	}
/**
	 * Creates a dot file with the string representation of the BDD <br>
	 * Location: results/bddsDOT/filename.dot
	 * @param filename The name of the dot file
	 */
Creates a dot file with the string representation of the BDD 
Location: results/bddsDOT/filename.dot
@param filename The name of the dot file
Creates a dot file with the string representation of the BDD Location : results / bddsDOT / filename . dot @param filename The name of the dot file
public void dotFile(String filename) {
	    ByteArrayOutputStream baos = new ByteArrayOutputStream();
	    PrintStream ps = new PrintStream(baos);
	    PrintStream old = System.out;
	    System.setOut(ps);
	    root.printDot();
	    System.out.flush();
	    System.setOut(old);
	    String dot = baos.toString();
		File outputFile = new File("results/bddsDOT/"+filename+".dot");
        try(BufferedWriter writer = new BufferedWriter(new FileWriter(outputFile))) {
        	writer.write(dot);
        } catch (Exception e) {
        	System.out.println("Exception when saving the BDD into a dot file.");
        	e.printStackTrace();
        }
	}
public void dotFile ( String filename ) { ByteArrayOutputStream baos = new ByteArrayOutputStream ( ) ; PrintStream ps = new PrintStream ( baos ) ; PrintStream old = System . out ; System . setOut ( ps ) ; root . printDot ( ) ; System . out . flush ( ) ; System . setOut ( old ) ; String dot = baos . toString ( ) ; File outputFile = new File ( "results/bddsDOT/" + filename + ".dot" ) ; try ( BufferedWriter writer = new BufferedWriter ( new FileWriter ( outputFile ) ) ) { writer . write ( dot ) ; } catch ( Exception e ) { System . out . println ( "Exception when saving the BDD into a dot file." ) ; e . printStackTrace ( ) ; } }
Creates a dot file with the string representation of the BDD <br>
 Location: results/bddsDOT/filename.dot
 @param filename The name of the dot file
Creates a dot file with the string representation of the BDD <br > Location : results / bddsDOT / filename . dot @param filename The name of the dot file