org.sat4j.sat.visu
Class GnuplotBasedSolverVisualisation

java.lang.Object
  org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

All Implemented Interfaces:

SolverVisualisation

public class GnuplotBasedSolverVisualisation
extends Object
implements SolverVisualisation

Constructor Summary

GnuplotBasedSolverVisualisation(VisuPreferences visuPref, int nbVar, String path, ICDCLLogger logger)

Method Summary

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,
                                       ICDCLLogger 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