org.sat4j.sat.visu

Class VisuPreferences

java.lang.Object

org.sat4j.sat.visu.VisuPreferences

public class VisuPreferences
extends Object

Constructor Summary

Constructors

Constructor and Description
VisuPreferences()

Method Summary

Methods

Modifier and Type	Method and Description
String[]	createCommandLine(String gnuplotFilename)
String	generatePlotLine(GnuplotDataFile file)
String	generatePlotLine(GnuplotDataFile[] dataFilesArray, GnuplotFunction[] functions, String restartFileName, boolean slidingThisWindows)
String	generatePlotLine(GnuplotDataFile[] dataFilesArray, GnuplotFunction[] functions, String restartFileName, boolean slidingThisWindows, int nbLinesTosShow)
String	generatePlotLine(GnuplotDataFile[] dataFilesArray, String restartFileName, boolean slidingThisWindows)
String	generatePlotLine(GnuplotDataFile file, boolean slidingThisWindow)
String	generatePlotLine(GnuplotDataFile dataFile, GnuplotFunction function, String restartFileName, boolean slidingThisWindows)
String	generatePlotLine(GnuplotDataFile file, GnuplotFunction function, String restartFile, boolean slidingThisWindows, int nbLinesToShow)
String	generatePlotLine(GnuplotDataFile file, String restartFile)
String	generatePlotLine(GnuplotDataFile file, String restartFile, boolean slidingThisWindows)
String	generatePlotLine(GnuplotDataFile file, String restartFile, boolean slidingThisWindows, int nbLinesToShow)
String	generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1, GnuplotDataFile[] dfArray2, boolean slidingThisWindow)
String	generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1, GnuplotDataFile[] dfArray2, boolean slidingThisWindow, int nbLines)
String	generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1, GnuplotDataFile[] dfArray2, GnuplotFunction[] functions, boolean slidingThisWindow)
String	generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1, GnuplotDataFile[] dfArray2, GnuplotFunction[] functions, boolean slidingThisWindows, int nbLines)
Color	getBackgroundColor()
Color	getBorderColor()
int	getNbLinesRead()
int	getNumberOfDisplayedGraphs()
int	getRefreshTime()
Color	getRestartColor()
int	getTimeBeforeLaunching()
boolean	isDisplayClausesEvaluation()
boolean	isDisplayClausesSize()
boolean	isDisplayConflictsDecision()
boolean	isDisplayConflictsTrail()
boolean	isDisplayDecisionIndexes()
boolean	isDisplayRestarts()
boolean	isDisplaySpeed()
boolean	isDisplayVariablesEvaluation()
boolean	isSlidingWindows()
void	setBackgroundColor(Color backgroundColor)
void	setBorderColor(Color borderColor)
void	setDisplayClausesEvaluation(boolean displayClausesEvaluation)
void	setDisplayClausesSize(boolean displayClausesSize)
void	setDisplayConflictsDecision(boolean displayConflictsDecision)
void	setDisplayConflictsTrail(boolean displayConflictsTrail)
void	setDisplayDecisionIndexes(boolean displayDecisionIndexes)
void	setDisplayRestarts(boolean displayRestarts)
void	setDisplaySpeed(boolean displaySpeed)
void	setDisplayVariablesEvaluation(boolean displayVariablesEvaluation)
void	setNbLinesRead(int nbLinesRead)
void	setRefreshTime(int refreshTime)
void	setRestartColor(Color restartColor)
void	setSlidingWindows(boolean slidingWindows)
void	setTimeBeforeLaunching(int timeBeforeLaunching)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

VisuPreferences

public VisuPreferences()

Method Detail

isDisplayClausesSize

public boolean isDisplayClausesSize()

setDisplayClausesSize

public void setDisplayClausesSize(boolean displayClausesSize)

getNumberOfDisplayedGraphs

public int getNumberOfDisplayedGraphs()

getBackgroundColor

public Color getBackgroundColor()

setBackgroundColor

public void setBackgroundColor(Color backgroundColor)

getBorderColor

public Color getBorderColor()

setBorderColor

public void setBorderColor(Color borderColor)

getTimeBeforeLaunching

public int getTimeBeforeLaunching()

setTimeBeforeLaunching

public void setTimeBeforeLaunching(int timeBeforeLaunching)

getRefreshTime

public int getRefreshTime()

setRefreshTime

public void setRefreshTime(int refreshTime)

getNbLinesRead

public int getNbLinesRead()

setNbLinesRead

public void setNbLinesRead(int nbLinesRead)

isDisplayRestarts

public boolean isDisplayRestarts()

setDisplayRestarts

public void setDisplayRestarts(boolean displayRestarts)

getRestartColor

public Color getRestartColor()

setRestartColor

public void setRestartColor(Color restartColor)

isSlidingWindows

public boolean isSlidingWindows()

setSlidingWindows

public void setSlidingWindows(boolean slidingWindows)

isDisplayDecisionIndexes

public boolean isDisplayDecisionIndexes()

setDisplayDecisionIndexes

public void setDisplayDecisionIndexes(boolean displayDecisionIndexes)

isDisplaySpeed

public boolean isDisplaySpeed()

setDisplaySpeed

public void setDisplaySpeed(boolean displaySpeed)

isDisplayConflictsTrail

public boolean isDisplayConflictsTrail()

setDisplayConflictsTrail

public void setDisplayConflictsTrail(boolean displayConflictsTrail)

isDisplayConflictsDecision

public boolean isDisplayConflictsDecision()

setDisplayConflictsDecision

public void setDisplayConflictsDecision(boolean displayConflictsDecision)

isDisplayVariablesEvaluation

public boolean isDisplayVariablesEvaluation()

setDisplayVariablesEvaluation

public void setDisplayVariablesEvaluation(boolean displayVariablesEvaluation)

isDisplayClausesEvaluation

public boolean isDisplayClausesEvaluation()

setDisplayClausesEvaluation

public void setDisplayClausesEvaluation(boolean displayClausesEvaluation)

toString

public String toString()

Overrides:

toString in class Object

createCommandLine

public String[] createCommandLine(String gnuplotFilename)

generatePlotLine

public String generatePlotLine(GnuplotDataFile file,
                      boolean slidingThisWindow)

generatePlotLine

public String generatePlotLine(GnuplotDataFile file)

generatePlotLine

public String generatePlotLine(GnuplotDataFile file,
                      String restartFile)

generatePlotLine

public String generatePlotLine(GnuplotDataFile file,
                      String restartFile,
                      boolean slidingThisWindows)

generatePlotLine

public String generatePlotLine(GnuplotDataFile file,
                      String restartFile,
                      boolean slidingThisWindows,
                      int nbLinesToShow)

generatePlotLine

public String generatePlotLine(GnuplotDataFile[] dataFilesArray,
                      String restartFileName,
                      boolean slidingThisWindows)

generatePlotLine

public String generatePlotLine(GnuplotDataFile file,
                      GnuplotFunction function,
                      String restartFile,
                      boolean slidingThisWindows,
                      int nbLinesToShow)

generatePlotLine

public String generatePlotLine(GnuplotDataFile dataFile,
                      GnuplotFunction function,
                      String restartFileName,
                      boolean slidingThisWindows)

generatePlotLine

public String generatePlotLine(GnuplotDataFile[] dataFilesArray,
                      GnuplotFunction[] functions,
                      String restartFileName,
                      boolean slidingThisWindows)

generatePlotLine

public String generatePlotLine(GnuplotDataFile[] dataFilesArray,
                      GnuplotFunction[] functions,
                      String restartFileName,
                      boolean slidingThisWindows,
                      int nbLinesTosShow)

generatePlotLineOnDifferenteAxes

public String generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1,
                                      GnuplotDataFile[] dfArray2,
                                      boolean slidingThisWindow)

generatePlotLineOnDifferenteAxes

public String generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1,
                                      GnuplotDataFile[] dfArray2,
                                      boolean slidingThisWindow,
                                      int nbLines)

generatePlotLineOnDifferenteAxes

public String generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1,
                                      GnuplotDataFile[] dfArray2,
                                      GnuplotFunction[] functions,
                                      boolean slidingThisWindow)

generatePlotLineOnDifferenteAxes

public String generatePlotLineOnDifferenteAxes(GnuplotDataFile[] dfArray1,
                                      GnuplotDataFile[] dfArray2,
                                      GnuplotFunction[] functions,
                                      boolean slidingThisWindows,
                                      int nbLines)