org.sat4j.tools

Class FileBasedVisualizationTool

java.lang.Object

org.sat4j.tools.FileBasedVisualizationTool

All Implemented Interfaces:

java.io.Serializable, IVisualizationTool

public class FileBasedVisualizationTool
extends java.lang.Object
implements IVisualizationTool

See Also:

Serialized Form

Field Summary

Fields inherited from interface org.sat4j.tools.IVisualizationTool

NOTGOOD

Constructor Summary

Constructors

Constructor and Description
FileBasedVisualizationTool(java.lang.String filename)

Method Summary

Modifier and Type	Method and Description
void	addInvisiblePoint(double x, double y)
void	addPoint(double x, double y)
void	end()
java.lang.String	getFilename()
void	init()
void	setFilename(java.lang.String filename)
void	updateWriter()

Methods inherited from class java.lang.Object

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

Constructor Detail

FileBasedVisualizationTool

public FileBasedVisualizationTool(java.lang.String filename)

Method Detail

updateWriter

public void updateWriter()

getFilename

public java.lang.String getFilename()

setFilename

public void setFilename(java.lang.String filename)

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