org.sat4j.tools

Interface IVisualizationTool

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

FileBasedVisualizationTool

public interface IVisualizationTool
extends java.io.Serializable

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.Integer	NOTGOOD

Method Summary

Modifier and Type	Method and Description
void	addInvisiblePoint(double x, double y)
void	addPoint(double x, double y)
void	end()
void	init()

Field Detail

NOTGOOD

static final java.lang.Integer NOTGOOD

Method Detail

addPoint

void addPoint(double x,
              double y)

addInvisiblePoint

void addInvisiblePoint(double x,
                       double y)

init

void init()

end

void end()