1 package org.sat4j.tools; 2 3 public interface IVisualizationTool { 4 5 public final static Integer NOTGOOD = Integer.MIN_VALUE; 6 7 public void addPoint(double x, double y); 8 9 public void addInvisiblePoint(double x, double y); 10 11 public void init(); 12 13 public void end(); 14 15 }