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 }