removed debug outputs

Author: jvierling

src/main/java/at/skagen/apps/sat/formula/linearizer/OrLinearizer.java

@@ -15,9 +15,6 @@
 import at.skagen.apps.sat.formula.node.VariableNode;
 import at.skagen.apps.sat.formula.node.Visitor;
 import at.skagen.apps.sat.formula.node.XorNode;
-import at.skagen.apps.sat.formula.parser.FormulaParser;
-import at.skagen.apps.sat.formula.parser.ParserException;
-import at.skagen.apps.sat.formula.printer.InfixPrinter;
 
 public class OrLinearizer implements Visitor<List<FormulaNode>, Void> {
 
@@ -92,14 +89,4 @@ public void dispatchVisit(FormulaNode node) {
 	public List<FormulaNode> getResult() {
 		return result;
 	}
-	
-	public static void main(String[] args) throws ParserException {
-		OrLinearizer linearizer = new OrLinearizer();
-		linearizer.dispatchVisit(new FormulaParser().parse("A or B or C or (D and B and C)"));
-		for (FormulaNode formula : linearizer.getResult()) {
-			InfixPrinter printer = new InfixPrinter();
-			printer.dispatchVisit(formula);
-			System.out.println(printer.getResult());
-		}
-	}
 }

src/main/java/at/skagen/apps/sat/formula/printer/LinearPrinter.java

@@ -16,8 +16,6 @@
 import at.skagen.apps.sat.formula.node.VariableNode;
 import at.skagen.apps.sat.formula.node.Visitor;
 import at.skagen.apps.sat.formula.node.XorNode;
-import at.skagen.apps.sat.formula.parser.FormulaParser;
-import at.skagen.apps.sat.formula.parser.ParserException;
 
 public class LinearPrinter implements Visitor<String, Void> {
 
@@ -107,15 +105,4 @@ public void dispatchVisit(FormulaNode node) {
 	public String getResult() {
 		return result;
 	}
-
-	public static void main(String[] args) throws ParserException {
-		String[] formulas =  {
-				"A and B and C or D or E"
-		};
-		for (String formula : formulas) {
-			LinearPrinter printer = new LinearPrinter();
-			printer.dispatchVisit(new FormulaParser().parse(formula));
-			System.out.println(printer.getResult());
-		}
-	}
 }

src/main/java/at/skagen/apps/sat/ui/cli/TableauRenderer.java

@@ -28,9 +28,6 @@ public String renderTableau(TableauNode root) {
 
 		char[][] renderedTableau = renderBorderedTableau(root);
 
-		System.out.println(computeSurfaceHeight(root));
-		System.out.println("tableau height : " + renderedTableau.length);
-		
 		for (int i = 0; i < renderedTableau.length; i++) {
 			for (int j = 0; j < renderedTableau[i].length; j++) {
 				result += renderedTableau[i][j];