org.sat4j.tools
Interface IVisualizationTool

All Known Implementing Classes:

FileBasedVisualizationTool

public interface IVisualizationTool

Field Summary

static Integer

NOTGOOD

Method Summary

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

Field Detail

NOTGOOD

static final Integer NOTGOOD

Method Detail

addPoint

void addPoint(double x,
              double y)

addInvisiblePoint

void addInvisiblePoint(double x,
                       double y)

init

void init()

end

void end()