org.sat4j.sat.visu

Class ChartBasedVisualizationTool

java.lang.Object

org.sat4j.sat.visu.ChartBasedVisualizationTool

All Implemented Interfaces:

Serializable, IVisualizationTool

public class ChartBasedVisualizationTool
extends Object
implements IVisualizationTool

See Also:

Serialized Form

Field Summary

Fields inherited from interface org.sat4j.tools.IVisualizationTool

NOTGOOD

Constructor Summary

Constructors

Constructor and Description
ChartBasedVisualizationTool(info.monitorenter.gui.chart.ITrace2D trace)

Method Summary

Methods

Modifier and Type	Method and Description
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