org.sat4j.tools
Class FileBasedVisualizationTool

java.lang.Object
  org.sat4j.tools.FileBasedVisualizationTool

All Implemented Interfaces:

IVisualizationTool

public class FileBasedVisualizationTool
extends Object
implements IVisualizationTool

Field Summary

Fields inherited from interface org.sat4j.tools.IVisualizationTool

NOTGOOD

Constructor Summary

FileBasedVisualizationTool(String filename)

Method Summary

void	addInvisiblePoint(double x, double y)
void	addPoint(double x, double y)
void	end()
String	getFilename()
void	init()
void	setFilename(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(String filename)

Method Detail

updateWriter

public void updateWriter()

getFilename

public String getFilename()

setFilename

public void setFilename(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