org.sat4j.sat.visu

Class GnuplotBasedSolverVisualisation

java.lang.Object

org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

All Implemented Interfaces:

Serializable, SolverVisualisation

public class GnuplotBasedSolverVisualisation
extends Object
implements SolverVisualisation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
GnuplotBasedSolverVisualisation(VisuPreferences visuPref, int nbVar, String path, ILogAble logger)

Method Summary

Methods

Modifier and Type	Method and Description
void	end()
void	setnVar(int n)
void	start()
void	stopGnuplot()
void	traceGnuplot()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GnuplotBasedSolverVisualisation

public GnuplotBasedSolverVisualisation(VisuPreferences visuPref,
                               int nbVar,
                               String path,
                               ILogAble logger)

Method Detail

start

public void start()

Specified by:

start in interface SolverVisualisation

end

public void end()

Specified by:

end in interface SolverVisualisation

traceGnuplot

public void traceGnuplot()

stopGnuplot

public void stopGnuplot()

setnVar

public void setnVar(int n)

Specified by:

setnVar in interface SolverVisualisation