org.sat4j.sat.visu
Interface SolverVisualisation

All Known Implementing Classes:

GnuplotBasedSolverVisualisation, JChartBasedSolverVisualisation

public interface SolverVisualisation

Method Summary

void	end()
void	setnVar(int nbVar)
void	start()

Method Detail

start

void start()

end

void end()

setnVar

void setnVar(int nbVar)