org.sat4j.sat.visu
Class JChartBasedSolverVisualisation

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

All Implemented Interfaces:

SolverVisualisation

public class JChartBasedSolverVisualisation
extends Object
implements SolverVisualisation

Constructor Summary

JChartBasedSolverVisualisation(VisuPreferences pref)

JChartBasedSolverVisualisation(VisuPreferences pref, boolean isVisible)

Method Summary

void	addChartsToFrame()
void	end()
info.monitorenter.gui.chart.ITrace2D	getClausesEvaluationTrace()
info.monitorenter.gui.chart.ITrace2D	getCleanNegDecisionTrace()
info.monitorenter.gui.chart.ITrace2D	getCleanPosDecisionTrace()
info.monitorenter.gui.chart.ITrace2D	getConflictDepthCleanTrace()
info.monitorenter.gui.chart.ITrace2D	getConflictDepthRestartTrace()
info.monitorenter.gui.chart.ITrace2D	getConflictDepthTrace()
info.monitorenter.gui.chart.ITrace2D	getConflictLevelCleanTrace()
info.monitorenter.gui.chart.ITrace2D	getConflictLevelRestartTrace()
info.monitorenter.gui.chart.ITrace2D	getConflictLevelTrace()
info.monitorenter.gui.chart.ITrace2D	getHeuristicsTrace()
info.monitorenter.gui.chart.ITrace2D	getLearnedClausesSizeCleanTrace()
info.monitorenter.gui.chart.ITrace2D	getLearnedClausesSizeRestartTrace()
info.monitorenter.gui.chart.ITrace2D	getLearnedClausesSizeTrace()
info.monitorenter.gui.chart.ITrace2D	getNegativeDecisionTrace()
int	getnVar()
info.monitorenter.gui.chart.ITrace2D	getPositiveDecisionTrace()
info.monitorenter.gui.chart.ITrace2D	getRestartNegDecisionTrace()
info.monitorenter.gui.chart.ITrace2D	getRestartPosDecisionTrace()
info.monitorenter.gui.chart.ITrace2D	getSpeedCleanTrace()
info.monitorenter.gui.chart.ITrace2D	getSpeedRestartTrace()
info.monitorenter.gui.chart.ITrace2D	getSpeedTrace()
void	init()
void	initCharts()
void	initTraces()
void	setClausesEvaluationTrace(info.monitorenter.gui.chart.ITrace2D clausesEvaluationTrace)
void	setCleanNegDecisionTrace(info.monitorenter.gui.chart.ITrace2D cleanNegDecisionTrace)
void	setCleanPosDecisionTrace(info.monitorenter.gui.chart.ITrace2D cleanPosDecisionTrace)
void	setConflictDepthCleanTrace(info.monitorenter.gui.chart.ITrace2D conflictDepthCleanTrace)
void	setConflictDepthRestartTrace(info.monitorenter.gui.chart.ITrace2D conflictDepthRestartTrace)
void	setConflictDepthTrace(info.monitorenter.gui.chart.ITrace2D conflictDepthTrace)
void	setConflictLevelCleanTrace(info.monitorenter.gui.chart.ITrace2D conflictLevelCleanTrace)
void	setConflictLevelRestartTrace(info.monitorenter.gui.chart.ITrace2D conflictLevelRestartTrace)
void	setConflictLevelTrace(info.monitorenter.gui.chart.ITrace2D conflictLevelTrace)
void	setHeuristicsTrace(info.monitorenter.gui.chart.ITrace2D heuristicsTrace)
void	setLearnedClausesSizeCleanTrace(info.monitorenter.gui.chart.ITrace2D learnedClausesSizeCleanTrace)
void	setLearnedClausesSizeRestartTrace(info.monitorenter.gui.chart.ITrace2D learnedClausesSizeRestartTrace)
void	setLearnedClausesSizeTrace(info.monitorenter.gui.chart.ITrace2D learnedClausesSizeTrace)
void	setNegativeDecisionTrace(info.monitorenter.gui.chart.ITrace2D negativeDecisionTrace)
void	setnVar(int nVar)
void	setPositiveDecisionTrace(info.monitorenter.gui.chart.ITrace2D positiveDecisionTrace)
void	setRestartNegDecisionTrace(info.monitorenter.gui.chart.ITrace2D restartNegDecisionTrace)
void	setRestartPosDecisionTrace(info.monitorenter.gui.chart.ITrace2D restartPosDecisionTrace)
void	setSpeedCleanTrace(info.monitorenter.gui.chart.ITrace2D speedCleanTrace)
void	setSpeedRestartTrace(info.monitorenter.gui.chart.ITrace2D speedRestartTrace)
void	setSpeedTrace(info.monitorenter.gui.chart.ITrace2D speedTrace)
void	setVisible(boolean b)
void	start()

Methods inherited from class java.lang.Object

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

Constructor Detail

JChartBasedSolverVisualisation

public JChartBasedSolverVisualisation(VisuPreferences pref)

JChartBasedSolverVisualisation

public JChartBasedSolverVisualisation(VisuPreferences pref,
                                      boolean isVisible)

Method Detail

init

public void init()

initCharts

public void initCharts()

addChartsToFrame

public void addChartsToFrame()

initTraces

public void initTraces()

setVisible

public void setVisible(boolean b)

getPositiveDecisionTrace

public info.monitorenter.gui.chart.ITrace2D getPositiveDecisionTrace()

setPositiveDecisionTrace

public void setPositiveDecisionTrace(info.monitorenter.gui.chart.ITrace2D positiveDecisionTrace)

getNegativeDecisionTrace

public info.monitorenter.gui.chart.ITrace2D getNegativeDecisionTrace()

setNegativeDecisionTrace

public void setNegativeDecisionTrace(info.monitorenter.gui.chart.ITrace2D negativeDecisionTrace)

getRestartNegDecisionTrace

public info.monitorenter.gui.chart.ITrace2D getRestartNegDecisionTrace()

setRestartNegDecisionTrace

public void setRestartNegDecisionTrace(info.monitorenter.gui.chart.ITrace2D restartNegDecisionTrace)

getRestartPosDecisionTrace

public info.monitorenter.gui.chart.ITrace2D getRestartPosDecisionTrace()

setRestartPosDecisionTrace

public void setRestartPosDecisionTrace(info.monitorenter.gui.chart.ITrace2D restartPosDecisionTrace)

getConflictDepthTrace

public info.monitorenter.gui.chart.ITrace2D getConflictDepthTrace()

setConflictDepthTrace

public void setConflictDepthTrace(info.monitorenter.gui.chart.ITrace2D conflictDepthTrace)

getLearnedClausesSizeTrace

public info.monitorenter.gui.chart.ITrace2D getLearnedClausesSizeTrace()

setLearnedClausesSizeTrace

public void setLearnedClausesSizeTrace(info.monitorenter.gui.chart.ITrace2D learnedClausesSizeTrace)

getClausesEvaluationTrace

public info.monitorenter.gui.chart.ITrace2D getClausesEvaluationTrace()

setClausesEvaluationTrace

public void setClausesEvaluationTrace(info.monitorenter.gui.chart.ITrace2D clausesEvaluationTrace)

getConflictLevelTrace

public info.monitorenter.gui.chart.ITrace2D getConflictLevelTrace()

setConflictLevelTrace

public void setConflictLevelTrace(info.monitorenter.gui.chart.ITrace2D conflictLevelTrace)

getConflictLevelRestartTrace

public info.monitorenter.gui.chart.ITrace2D getConflictLevelRestartTrace()

setConflictLevelRestartTrace

public void setConflictLevelRestartTrace(info.monitorenter.gui.chart.ITrace2D conflictLevelRestartTrace)

getHeuristicsTrace

public info.monitorenter.gui.chart.ITrace2D getHeuristicsTrace()

setHeuristicsTrace

public void setHeuristicsTrace(info.monitorenter.gui.chart.ITrace2D heuristicsTrace)

getSpeedTrace

public info.monitorenter.gui.chart.ITrace2D getSpeedTrace()

setSpeedTrace

public void setSpeedTrace(info.monitorenter.gui.chart.ITrace2D speedTrace)

getSpeedCleanTrace

public info.monitorenter.gui.chart.ITrace2D getSpeedCleanTrace()

setSpeedCleanTrace

public void setSpeedCleanTrace(info.monitorenter.gui.chart.ITrace2D speedCleanTrace)

getSpeedRestartTrace

public info.monitorenter.gui.chart.ITrace2D getSpeedRestartTrace()

setSpeedRestartTrace

public void setSpeedRestartTrace(info.monitorenter.gui.chart.ITrace2D speedRestartTrace)

getConflictDepthRestartTrace

public info.monitorenter.gui.chart.ITrace2D getConflictDepthRestartTrace()

setConflictDepthRestartTrace

public void setConflictDepthRestartTrace(info.monitorenter.gui.chart.ITrace2D conflictDepthRestartTrace)

getLearnedClausesSizeRestartTrace

public info.monitorenter.gui.chart.ITrace2D getLearnedClausesSizeRestartTrace()

setLearnedClausesSizeRestartTrace

public void setLearnedClausesSizeRestartTrace(info.monitorenter.gui.chart.ITrace2D learnedClausesSizeRestartTrace)

getLearnedClausesSizeCleanTrace

public info.monitorenter.gui.chart.ITrace2D getLearnedClausesSizeCleanTrace()

setLearnedClausesSizeCleanTrace

public void setLearnedClausesSizeCleanTrace(info.monitorenter.gui.chart.ITrace2D learnedClausesSizeCleanTrace)

getConflictLevelCleanTrace

public info.monitorenter.gui.chart.ITrace2D getConflictLevelCleanTrace()

setConflictLevelCleanTrace

public void setConflictLevelCleanTrace(info.monitorenter.gui.chart.ITrace2D conflictLevelCleanTrace)

getConflictDepthCleanTrace

public info.monitorenter.gui.chart.ITrace2D getConflictDepthCleanTrace()

setConflictDepthCleanTrace

public void setConflictDepthCleanTrace(info.monitorenter.gui.chart.ITrace2D conflictDepthCleanTrace)

getCleanPosDecisionTrace

public info.monitorenter.gui.chart.ITrace2D getCleanPosDecisionTrace()

setCleanPosDecisionTrace

public void setCleanPosDecisionTrace(info.monitorenter.gui.chart.ITrace2D cleanPosDecisionTrace)

getCleanNegDecisionTrace

public info.monitorenter.gui.chart.ITrace2D getCleanNegDecisionTrace()

setCleanNegDecisionTrace

public void setCleanNegDecisionTrace(info.monitorenter.gui.chart.ITrace2D cleanNegDecisionTrace)

getnVar

public int getnVar()

setnVar

public void setnVar(int nVar)

Specified by:

setnVar in interface SolverVisualisation

start

public void start()

Specified by:

start in interface SolverVisualisation

end

public void end()

Specified by:

end in interface SolverVisualisation