org.sat4j.sat.visu
Class ChartBasedVisualizationTool

java.lang.Object
  org.sat4j.sat.visu.ChartBasedVisualizationTool

All Implemented Interfaces:

IVisualizationTool

public class ChartBasedVisualizationTool
extends Object
implements IVisualizationTool

Field Summary

Fields inherited from interface org.sat4j.tools.IVisualizationTool

NOTGOOD

Constructor Summary

ChartBasedVisualizationTool(info.monitorenter.gui.chart.ITrace2D trace)

Method Summary

void	addInvisiblePoint(double x, double y)
void	addPoint(double x, double y)
void	end()
void	init()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ChartBasedVisualizationTool

public ChartBasedVisualizationTool(info.monitorenter.gui.chart.ITrace2D trace)

Method Detail

addPoint

public void addPoint(double x,
                     double y)

Specified by:

addPoint in interface IVisualizationTool

addInvisiblePoint

public void addInvisiblePoint(double x,
                              double y)

Specified by:

addInvisiblePoint in interface IVisualizationTool

init

public void init()

Specified by:

init in interface IVisualizationTool

end

public void end()

Specified by:

end in interface IVisualizationTool