org.sat4j.tools

Interface IVisualizationTool

All Superinterfaces:

Serializable

All Known Implementing Classes:

FileBasedVisualizationTool

public interface IVisualizationTool
extends Serializable

Field Summary

Fields

Modifier and Type	Field and Description
static Integer	NOTGOOD

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()

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()