org.sat4j.sat.visu

Interface SolverVisualisation

All Superinterfaces:

Serializable

All Known Implementing Classes:

GnuplotBasedSolverVisualisation, JChartBasedSolverVisualisation

public interface SolverVisualisation
extends Serializable

Method Summary

Methods

Modifier and Type	Method and Description
void	end()
void	setnVar(int nbVar)
void	start()

Method Detail

start

void start()

end

void end()

setnVar

void setnVar(int nbVar)