A B C D E F G H I J L M N O P R S T U V

A

activateGnuplotTracing(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

activateTracing(boolean) - Method in class org.sat4j.sat.RemoteControlFrame

addChartsToFrame() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

addComputingTrace(ITrace2D) - Method in class org.sat4j.sat.visu.TraceComposite

addErrorBarPolicy(IErrorBarPolicy<?>) - Method in class org.sat4j.sat.visu.TraceComposite

adding(int) - Method in class org.sat4j.sat.DetailedCommandPanel

addInvisiblePoint(double, double) - Method in class org.sat4j.sat.visu.ChartBasedVisualizationTool

addPoint(double, double) - Method in class org.sat4j.sat.visu.ChartBasedVisualizationTool

addPoint(ITracePoint2D) - Method in class org.sat4j.sat.visu.TraceComposite

addPoint(double, double) - Method in class org.sat4j.sat.visu.TraceComposite

addPointHighlighter(IPointPainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

addPropertyChangeListener(String, PropertyChangeListener) - Method in class org.sat4j.sat.visu.TraceComposite

addTracePainter(ITracePainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

alreadySeenPckges - Static variable in class org.sat4j.sat.RTSI

assignLiteral(int) - Method in class org.sat4j.sat.RemoteControlStrategy

assuming(int) - Method in class org.sat4j.sat.DetailedCommandPanel

B

backjump(int) - Method in class org.sat4j.sat.DetailedCommandPanel

backtracking(int) - Method in class org.sat4j.sat.DetailedCommandPanel

beginLoop() - Method in class org.sat4j.sat.DetailedCommandPanel

border5 - Static variable in class org.sat4j.sat.DetailedCommandPanel

C

ChartBasedVisualizationTool - Class in org.sat4j.sat.visu

ChartBasedVisualizationTool(ITrace2D) - Constructor for class org.sat4j.sat.visu.ChartBasedVisualizationTool

CLEAN - Static variable in class org.sat4j.sat.VerySimpleCommandPanel

CleanCommandComponent - Class in org.sat4j.sat

CleanCommandComponent(String, SolverController) - Constructor for class org.sat4j.sat.CleanCommandComponent

cleaning() - Method in class org.sat4j.sat.DetailedCommandPanel

clickedOnClean() - Method in class org.sat4j.sat.RemoteControlStrategy

clickOnAboutSolver() - Method in class org.sat4j.sat.RemoteControlFrame

CommandComponent - Class in org.sat4j.sat

CommandComponent() - Constructor for class org.sat4j.sat.CommandComponent

compareTo(ITrace2D) - Method in class org.sat4j.sat.visu.TraceComposite

configureFromString(String, ICDCL, ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

configureSolver(String[]) - Method in class org.sat4j.sat.Lanceur

Configure the solver according to the command line parameters.

configureSolver(String[], ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

conflictFound(IConstr, int, int) - Method in class org.sat4j.sat.DetailedCommandPanel

conflictFound(int) - Method in class org.sat4j.sat.DetailedCommandPanel

containsTracePainter(ITracePainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

createAndShowGUI() - Method in class org.sat4j.sat.RemoteControlFrame

createAndShowGUI() - Method in class org.sat4j.sat.visu.VisuPreferencesFrame

createChoixSolverPanel() - Method in class org.sat4j.sat.DetailedCommandPanel

createCLIOptions() - Static method in class org.sat4j.sat.Lanceur

createCommandLine(String) - Method in class org.sat4j.sat.visu.VisuPreferences

createHotSolverPanel() - Method in class org.sat4j.sat.HotSolverCommandComponent

createInstancePanel() - Method in class org.sat4j.sat.DetailedCommandPanel

createMainPanel() - Method in class org.sat4j.sat.visu.VisuPreferencesFrame

createMenuBar() - Method in class org.sat4j.sat.RemoteControlFrame

createPanel() - Method in class org.sat4j.sat.CleanCommandComponent

createPanel() - Method in class org.sat4j.sat.CommandComponent

createPanel() - Method in class org.sat4j.sat.HotSolverCommandComponent

createPanel() - Method in class org.sat4j.sat.PhaseCommandComponent

createPanel() - Method in class org.sat4j.sat.RandomWalkCommandComponent

createPanel() - Method in class org.sat4j.sat.RestartCommandComponent

createPanel() - Method in class org.sat4j.sat.SimplifierCommandComponent

createPhasePanel() - Method in class org.sat4j.sat.PhaseCommandComponent

createReader(ICDCL, String) - Method in class org.sat4j.sat.DetailedCommandPanel

createReader(ISolver, String) - Method in class org.sat4j.sat.Lanceur

createRWPanel() - Method in class org.sat4j.sat.RandomWalkCommandComponent

createSimplifierPanel() - Method in class org.sat4j.sat.SimplifierCommandComponent

currentRestart - Variable in class org.sat4j.sat.RestartCommandComponent

D

delete(int[]) - Method in class org.sat4j.sat.DetailedCommandPanel

DetailedCommandPanel - Class in org.sat4j.sat

This panel contains buttons that control restart and clean on solver.

DetailedCommandPanel(String, RemoteControlFrame) - Constructor for class org.sat4j.sat.DetailedCommandPanel

DetailedCommandPanel(String, String, RemoteControlFrame) - Constructor for class org.sat4j.sat.DetailedCommandPanel

DetailedCommandPanel(String, String, String[], RemoteControlFrame) - Constructor for class org.sat4j.sat.DetailedCommandPanel

DetailedCommandPanel.MyTabbedPane - Class in org.sat4j.sat

DetailedCommandPanel.MyTabbedPane() - Constructor for class org.sat4j.sat.DetailedCommandPanel.MyTabbedPane

dim - Static variable in class org.sat4j.sat.RemoteControlFrame

displayAnswer() - Method in class org.sat4j.sat.Lanceur

displayLicense() - Method in class org.sat4j.sat.Lanceur

displayResult() - Method in class org.sat4j.sat.Lanceur

displayResultOfFind(String) - Static method in class org.sat4j.sat.RTSI

displayResultOfFind(String, String) - Static method in class org.sat4j.sat.RTSI

displayResultOfFind(String, Class<?>) - Static method in class org.sat4j.sat.RTSI

E

end(Lbool) - Method in class org.sat4j.sat.DetailedCommandPanel

end() - Method in class org.sat4j.sat.visu.ChartBasedVisualizationTool

end() - Method in class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

end() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

end() - Method in interface org.sat4j.sat.visu.SolverVisualisation

endPaintIteration(Graphics) - Method in class org.sat4j.sat.visu.TracePainterCross

endPaintIteration(Graphics) - Method in class org.sat4j.sat.visu.TracePainterPlus

equals(Object) - Method in class org.sat4j.sat.visu.PointPainterCross

equals(Object) - Method in class org.sat4j.sat.visu.PointPainterPlus

equals(Object) - Method in class org.sat4j.sat.visu.TracePainterCross

equals(Object) - Method in class org.sat4j.sat.visu.TracePainterPlus

F

factory - Variable in class org.sat4j.sat.Lanceur

find(String) - Static method in class org.sat4j.sat.RTSI

find(String, String) - Static method in class org.sat4j.sat.RTSI

find(String, Class<?>) - Static method in class org.sat4j.sat.RTSI

findnames(String, Class<?>) - Static method in class org.sat4j.sat.RTSI

firePointChanged(ITracePoint2D, int) - Method in class org.sat4j.sat.visu.TraceComposite

G

generatePlotLine(GnuplotDataFile, boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile, String) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile, String, boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile, String, boolean, int) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile[], String, boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile, GnuplotFunction, String, boolean, int) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile, GnuplotFunction, String, boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile[], GnuplotFunction[], String, boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLine(GnuplotDataFile[], GnuplotFunction[], String, boolean, int) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLineOnDifferenteAxes(GnuplotDataFile[], GnuplotDataFile[], boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLineOnDifferenteAxes(GnuplotDataFile[], GnuplotDataFile[], boolean, int) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLineOnDifferenteAxes(GnuplotDataFile[], GnuplotDataFile[], GnuplotFunction[], boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

generatePlotLineOnDifferenteAxes(GnuplotDataFile[], GnuplotDataFile[], GnuplotFunction[], boolean, int) - Method in class org.sat4j.sat.visu.VisuPreferences

getBackgroundColor() - Method in class org.sat4j.sat.visu.VisuPreferences

getBorderColor() - Method in class org.sat4j.sat.visu.VisuPreferences

getClausesEvaluationTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getCleanNegDecisionTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getCleanPosDecisionTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getCleanSliderValue() - Method in class org.sat4j.sat.CleanCommandComponent

getColor() - Method in class org.sat4j.sat.visu.GnuplotDataFile

getColor() - Method in class org.sat4j.sat.visu.GnuplotFunction

getColor() - Method in class org.sat4j.sat.visu.TraceComposite

getConflictDepthCleanTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getConflictDepthRestartTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getConflictDepthTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getConflictLevelCleanTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getConflictLevelRestartTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getConflictLevelTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getCrossSize() - Method in class org.sat4j.sat.visu.PointPainterCross

Returns the size of the cross point in pixels

getCrossSize() - Method in class org.sat4j.sat.visu.TracePainterCross

Returns the size of the cross to paint in pixel.

getCurrentRestart() - Method in class org.sat4j.sat.RestartCommandComponent

getErrorBarPolicies() - Method in class org.sat4j.sat.visu.TraceComposite

getFilename() - Method in class org.sat4j.sat.visu.GnuplotDataFile

getFrame() - Method in class org.sat4j.sat.visu.VisuPreferencesFrame

getFunctionExpression() - Method in class org.sat4j.sat.visu.GnuplotFunction

getFunctionLegend() - Method in class org.sat4j.sat.visu.GnuplotFunction

getGnuplotPreferences() - Method in class org.sat4j.sat.DetailedCommandPanel

getHasErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite

getHeuristicsTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getInstanceName(String[]) - Method in class org.sat4j.sat.Lanceur

getLabel() - Method in class org.sat4j.sat.visu.TraceComposite

getLearnedClausesSizeCleanTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getLearnedClausesSizeRestartTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getLearnedClausesSizeTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getLearnedConstraintsEvaluationType() - Method in class org.sat4j.sat.DetailedCommandPanel

getListOfPBSolvers() - Method in class org.sat4j.sat.DetailedCommandPanel

getListOfPhaseStrategies() - Method in class org.sat4j.sat.PhaseCommandComponent

getListOfRestartStrategies() - Method in class org.sat4j.sat.RestartCommandComponent

getListOfSolvers() - Method in class org.sat4j.sat.DetailedCommandPanel

getLogger() - Method in class org.sat4j.sat.RemoteControlStrategy

getMaxSize() - Method in class org.sat4j.sat.visu.TraceComposite

getMaxX() - Method in class org.sat4j.sat.visu.TraceComposite

getMaxY() - Method in class org.sat4j.sat.visu.TraceComposite

getMinX() - Method in class org.sat4j.sat.visu.TraceComposite

getMinY() - Method in class org.sat4j.sat.visu.TraceComposite

getName() - Method in class org.sat4j.sat.visu.TraceComposite

getNbClausesAtWhichWeShouldClean() - Method in class org.sat4j.sat.RemoteControlStrategy

getNbLinesRead() - Method in class org.sat4j.sat.visu.VisuPreferences

getNearestPointEuclid(double, double) - Method in class org.sat4j.sat.visu.TraceComposite

getNearestPointManhattan(double, double) - Method in class org.sat4j.sat.visu.TraceComposite

getNegativeDecisionTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getNumberOfDisplayedGraphs() - Method in class org.sat4j.sat.visu.VisuPreferences

getNVar() - Method in class org.sat4j.sat.DetailedCommandPanel

getNVar() - Method in interface org.sat4j.sat.SolverController

getnVar() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getPhaseSelectionStrategy() - Method in class org.sat4j.sat.RemoteControlStrategy

getPhysicalUnits() - Method in class org.sat4j.sat.visu.TraceComposite

getPhysicalUnitsX() - Method in class org.sat4j.sat.visu.TraceComposite

getPhysicalUnitsY() - Method in class org.sat4j.sat.visu.TraceComposite

getPlusSize() - Method in class org.sat4j.sat.visu.PointPainterPlus

Returns the size of the plus point in pixels

getPlusSize() - Method in class org.sat4j.sat.visu.TracePainterPlus

Returns the size of the plus to paint in pixel.

getPointHighlighters() - Method in class org.sat4j.sat.visu.TraceComposite

getPositiveDecisionTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getPropertyChangeListeners(String) - Method in class org.sat4j.sat.visu.TraceComposite

getRefreshTime() - Method in class org.sat4j.sat.visu.VisuPreferences

getRenderer() - Method in class org.sat4j.sat.visu.TraceComposite

getRestartColor() - Method in class org.sat4j.sat.visu.VisuPreferences

getRestartNegDecisionTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getRestartPosDecisionTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getRestartStrategy() - Method in class org.sat4j.sat.DetailedCommandPanel

getRestartStrategy() - Method in class org.sat4j.sat.RemoteControlStrategy

getRestartStrategy() - Method in interface org.sat4j.sat.SolverController

getSearchParams() - Method in class org.sat4j.sat.DetailedCommandPanel

getSearchParams() - Method in class org.sat4j.sat.RemoteControlStrategy

getSearchParams() - Method in interface org.sat4j.sat.SolverController

getSize() - Method in class org.sat4j.sat.visu.TraceComposite

getSolver() - Method in class org.sat4j.sat.DetailedCommandPanel

getSolver() - Method in class org.sat4j.sat.RemoteControlStrategy

getSpeedCleanTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getSpeedRestartTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getSpeedTrace() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

getStartStopText() - Method in class org.sat4j.sat.DetailedCommandPanel

getStroke() - Method in class org.sat4j.sat.visu.TraceComposite

getStyle() - Method in class org.sat4j.sat.visu.GnuplotDataFile

getThis() - Method in class org.sat4j.sat.DetailedCommandPanel

getTimeBeforeLaunching() - Method in class org.sat4j.sat.visu.VisuPreferences

getTitle() - Method in class org.sat4j.sat.visu.GnuplotDataFile

getTracePainters() - Method in class org.sat4j.sat.visu.TraceComposite

getZIndex() - Method in class org.sat4j.sat.visu.TraceComposite

GnuplotBasedSolverVisualisation - Class in org.sat4j.sat.visu

GnuplotBasedSolverVisualisation(VisuPreferences, int, String, ICDCLLogger) - Constructor for class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

GnuplotDataFile - Class in org.sat4j.sat.visu

GnuplotDataFile(String) - Constructor for class org.sat4j.sat.visu.GnuplotDataFile

GnuplotDataFile(String, Color, String) - Constructor for class org.sat4j.sat.visu.GnuplotDataFile

GnuplotDataFile(String, Color, String, String) - Constructor for class org.sat4j.sat.visu.GnuplotDataFile

GnuplotFunction - Class in org.sat4j.sat.visu

GnuplotFunction(String) - Constructor for class org.sat4j.sat.visu.GnuplotFunction

GnuplotFunction(String, Color, String) - Constructor for class org.sat4j.sat.visu.GnuplotFunction

H

hasChangedCleaningValue() - Method in class org.sat4j.sat.CleanCommandComponent

hasClickedOnApplyPhase() - Method in class org.sat4j.sat.PhaseCommandComponent

hasClickedOnApplyRW() - Method in class org.sat4j.sat.RandomWalkCommandComponent

hasClickedOnApplySimplification() - Method in class org.sat4j.sat.SimplifierCommandComponent

hasClickedOnChange() - Method in class org.sat4j.sat.RestartCommandComponent

hasClickedOnClean() - Method in class org.sat4j.sat.CleanCommandComponent

hasClickedOnClean() - Method in class org.sat4j.sat.VerySimpleCommandPanel

hasClickedOnRestart() - Method in class org.sat4j.sat.RestartCommandComponent

hasClickedOnRestart() - Method in class org.sat4j.sat.VerySimpleCommandPanel

hasClickedOnUseOriginalStrategy() - Method in class org.sat4j.sat.CleanCommandComponent

hashCode() - Method in class org.sat4j.sat.visu.PointPainterCross

hashCode() - Method in class org.sat4j.sat.visu.PointPainterPlus

hashCode() - Method in class org.sat4j.sat.visu.TracePainterCross

hashCode() - Method in class org.sat4j.sat.visu.TracePainterPlus

HotSolverCommandComponent - Class in org.sat4j.sat

HotSolverCommandComponent(String, SolverController) - Constructor for class org.sat4j.sat.HotSolverCommandComponent

I

ILog - Interface in org.sat4j.sat

init(SearchParams) - Method in class org.sat4j.sat.DetailedCommandPanel

init(ISolverService) - Method in class org.sat4j.sat.DetailedCommandPanel

init(SearchParams) - Method in class org.sat4j.sat.RemoteControlStrategy

init(int) - Method in class org.sat4j.sat.RemoteControlStrategy

init(int, int) - Method in class org.sat4j.sat.RemoteControlStrategy

init(SearchParams) - Method in interface org.sat4j.sat.SolverController

init() - Method in class org.sat4j.sat.visu.ChartBasedVisualizationTool

init() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

initCharts() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

initFactorParam() - Method in class org.sat4j.sat.RestartCommandComponent

initLookAndFeel() - Method in class org.sat4j.sat.RemoteControlFrame

initSearchListeners() - Method in class org.sat4j.sat.DetailedCommandPanel

initTraces() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

isChartBased() - Method in class org.sat4j.sat.DetailedCommandPanel

isDisplayClausesEvaluation() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplayClausesSize() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplayConflictsDecision() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplayConflictsTrail() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplayDecisionIndexes() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplayRestarts() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplaySpeed() - Method in class org.sat4j.sat.visu.VisuPreferences

isDisplayVariablesEvaluation() - Method in class org.sat4j.sat.visu.VisuPreferences

isEmpty() - Method in class org.sat4j.sat.visu.TraceComposite

isGnuplotBased() - Method in class org.sat4j.sat.DetailedCommandPanel

isHasClickedOnClean() - Method in class org.sat4j.sat.RemoteControlStrategy

isHasClickedOnRestart() - Method in class org.sat4j.sat.RemoteControlStrategy

isPlotActivated() - Method in class org.sat4j.sat.DetailedCommandPanel

isSlidingWindows() - Method in class org.sat4j.sat.visu.VisuPreferences

isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy() - Method in class org.sat4j.sat.RemoteControlStrategy

isVisible() - Method in class org.sat4j.sat.visu.TraceComposite

iterator() - Method in class org.sat4j.sat.visu.TraceComposite

J

JChartBasedSolverVisualisation - Class in org.sat4j.sat.visu

JChartBasedSolverVisualisation(VisuPreferences) - Constructor for class org.sat4j.sat.visu.JChartBasedSolverVisualisation

JChartBasedSolverVisualisation(VisuPreferences, boolean) - Constructor for class org.sat4j.sat.visu.JChartBasedSolverVisualisation

L

Lanceur - Class in org.sat4j.sat

Lanceur() - Constructor for class org.sat4j.sat.Lanceur

LaunchRemoteControl - Class in org.sat4j.sat

Launches the solver with the remote controller.

LaunchRemoteControl() - Constructor for class org.sat4j.sat.LaunchRemoteControl

launchSolverWithConfigs() - Method in class org.sat4j.sat.DetailedCommandPanel

learn(IConstr) - Method in class org.sat4j.sat.DetailedCommandPanel

LEARNING - Static variable in class org.sat4j.sat.Solvers

log(String) - Method in class org.sat4j.sat.DetailedCommandPanel

log(String) - Method in interface org.sat4j.sat.ILog

log(String) - Method in class org.sat4j.sat.RemoteControlFrame

logsameline(String) - Method in class org.sat4j.sat.DetailedCommandPanel

M

main(String[]) - Static method in class org.sat4j.sat.Lanceur

main(String[]) - Static method in class org.sat4j.sat.LaunchRemoteControl

main(String[]) - Static method in class org.sat4j.sat.RTSI

modifyRestartParamPanel() - Method in class org.sat4j.sat.RestartCommandComponent

MyChartPanel - Class in org.sat4j.sat.visu

MyChartPanel(Chart2D, String) - Constructor for class org.sat4j.sat.visu.MyChartPanel

MyChartPanel(Chart2D, String, Color, Color) - Constructor for class org.sat4j.sat.visu.MyChartPanel

N

newConflict() - Method in class org.sat4j.sat.RemoteControlStrategy

newLearnedClause(Constr, int) - Method in class org.sat4j.sat.RemoteControlStrategy

nextRestartNumberOfConflict() - Method in class org.sat4j.sat.RemoteControlStrategy

O

onBackjumpToRootLevel() - Method in class org.sat4j.sat.RemoteControlStrategy

onRestart() - Method in class org.sat4j.sat.RemoteControlStrategy

openFileChooser() - Method in class org.sat4j.sat.DetailedCommandPanel

ORDERS - Static variable in class org.sat4j.sat.Solvers

org.sat4j.sat - package org.sat4j.sat

Implementation of a sat4j Launcher.

org.sat4j.sat.visu - package org.sat4j.sat.visu

Implementation of different visualization for the remote control.

P

paintPoint(int, int, int, int, Graphics, ITracePoint2D) - Method in class org.sat4j.sat.visu.PointPainterCross

paintPoint(int, int, int, int, Graphics, ITracePoint2D) - Method in class org.sat4j.sat.visu.PointPainterPlus

paintPoint(int, int, int, int, Graphics, ITracePoint2D) - Method in class org.sat4j.sat.visu.TracePainterCross

paintPoint(int, int, int, int, Graphics, ITracePoint2D) - Method in class org.sat4j.sat.visu.TracePainterPlus

PARAMS - Static variable in class org.sat4j.sat.Solvers

PHASE - Static variable in class org.sat4j.sat.Solvers

PhaseCommandComponent - Class in org.sat4j.sat

PhaseCommandComponent(String, SolverController, String) - Constructor for class org.sat4j.sat.PhaseCommandComponent

PointPainterCross - Class in org.sat4j.sat.visu

PointPainterCross(int) - Constructor for class org.sat4j.sat.visu.PointPainterCross

Creates an instance with a default cross size of 4.

PointPainterCross() - Constructor for class org.sat4j.sat.visu.PointPainterCross

Creates an instance with the given cross size.

PointPainterPlus - Class in org.sat4j.sat.visu

PointPainterPlus(int) - Constructor for class org.sat4j.sat.visu.PointPainterPlus

Creates an instance with a default plus size of 4.

PointPainterPlus() - Constructor for class org.sat4j.sat.visu.PointPainterPlus

Creates an instance with the given plus size.

propagating(int, IConstr) - Method in class org.sat4j.sat.DetailedCommandPanel

propertyChange(PropertyChangeEvent) - Method in class org.sat4j.sat.visu.TraceComposite

R

RandomWalkCommandComponent - Class in org.sat4j.sat

RandomWalkCommandComponent(String, SolverController) - Constructor for class org.sat4j.sat.RandomWalkCommandComponent

readProblem(String) - Method in class org.sat4j.sat.Lanceur

reinitialiser() - Method in class org.sat4j.sat.RemoteControlFrame

RemoteControlFrame - Class in org.sat4j.sat

JFrame for the remote control.

RemoteControlFrame(String, String, String[]) - Constructor for class org.sat4j.sat.RemoteControlFrame

RemoteControlFrame(String, String) - Constructor for class org.sat4j.sat.RemoteControlFrame

RemoteControlFrame(String) - Constructor for class org.sat4j.sat.RemoteControlFrame

RemoteControlFrame(String, String[]) - Constructor for class org.sat4j.sat.RemoteControlFrame

RemoteControlStrategy - Class in org.sat4j.sat

Strategy used by the solver when launched with the remote control.

RemoteControlStrategy(ICDCLLogger) - Constructor for class org.sat4j.sat.RemoteControlStrategy

RemoteControlStrategy() - Constructor for class org.sat4j.sat.RemoteControlStrategy

removeAllPointHighlighters() - Method in class org.sat4j.sat.visu.TraceComposite

removeAllPoints() - Method in class org.sat4j.sat.visu.TraceComposite

removeComputingTrace(ITrace2D) - Method in class org.sat4j.sat.visu.TraceComposite

removeErrorBarPolicy(IErrorBarPolicy<?>) - Method in class org.sat4j.sat.visu.TraceComposite

removePoint(ITracePoint2D) - Method in class org.sat4j.sat.visu.TraceComposite

removePointHighlighter(IPointPainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

removePropertyChangeListener(PropertyChangeListener) - Method in class org.sat4j.sat.visu.TraceComposite

removePropertyChangeListener(String, PropertyChangeListener) - Method in class org.sat4j.sat.visu.TraceComposite

removeTracePainter(ITracePainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

reset() - Method in class org.sat4j.sat.RemoteControlStrategy

RESTART - Static variable in class org.sat4j.sat.VerySimpleCommandPanel

RestartCommandComponent - Class in org.sat4j.sat

RestartCommandComponent(String, SolverController, String) - Constructor for class org.sat4j.sat.RestartCommandComponent

restarting() - Method in class org.sat4j.sat.DetailedCommandPanel

RESTARTS - Static variable in class org.sat4j.sat.Solvers

RTSI - Class in org.sat4j.sat

This class allows dynamic search for classes.

RTSI() - Constructor for class org.sat4j.sat.RTSI

run(String[]) - Method in class org.sat4j.sat.Lanceur

S

select(int) - Method in class org.sat4j.sat.RemoteControlStrategy

setActivateGnuplot(boolean) - Method in class org.sat4j.sat.RemoteControlFrame

setActivateTracingEditable(boolean) - Method in class org.sat4j.sat.RemoteControlFrame

setActivateTracingEditableUnderCondition(boolean) - Method in class org.sat4j.sat.RemoteControlFrame

setBackgroundColor(Color) - Method in class org.sat4j.sat.visu.VisuPreferences

setBorderColor(Color) - Method in class org.sat4j.sat.visu.VisuPreferences

setChartBased(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setChoixSolverPanelEnabled(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setClausesEvaluationTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setCleanNegDecisionTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setCleanPanelEnabled(boolean) - Method in class org.sat4j.sat.CleanCommandComponent

setCleanPanelOriginalStrategyEnabled(boolean) - Method in class org.sat4j.sat.CleanCommandComponent

setCleanPosDecisionTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setColor(Color) - Method in class org.sat4j.sat.visu.GnuplotDataFile

setColor(Color) - Method in class org.sat4j.sat.visu.GnuplotFunction

setColor(Color) - Method in class org.sat4j.sat.visu.TraceComposite

setConflictDepthCleanTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setConflictDepthRestartTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setConflictDepthTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setConflictLevelCleanTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setConflictLevelRestartTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setConflictLevelTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setCrossSize(int) - Method in class org.sat4j.sat.visu.PointPainterCross

Sets the size of the cross point in pixels

setCurrentRestart(String) - Method in class org.sat4j.sat.RestartCommandComponent

setDisplayClausesEvaluation(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplayClausesSize(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplayConflictsDecision(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplayConflictsTrail(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplayDecisionIndexes(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplayRestarts(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplaySpeed(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setDisplayVariablesEvaluation(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setErrorBarPolicy(IErrorBarPolicy<?>) - Method in class org.sat4j.sat.visu.TraceComposite

setFilename(String) - Method in class org.sat4j.sat.visu.GnuplotDataFile

setFunctionExpression(String) - Method in class org.sat4j.sat.visu.GnuplotFunction

setFunctionLegend(String) - Method in class org.sat4j.sat.visu.GnuplotFunction

setGnuplotBased(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setGnuplotPreferences(VisuPreferences) - Method in class org.sat4j.sat.DetailedCommandPanel

setHasClickedOnClean(boolean) - Method in class org.sat4j.sat.RemoteControlStrategy

setHasClickedOnRestart(boolean) - Method in class org.sat4j.sat.RemoteControlStrategy

setHeuristicsTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setInstancePanelEnabled(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setInterrupted(boolean) - Method in class org.sat4j.sat.RemoteControlStrategy

setKeepSolverHot(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setKeepSolverHot(boolean) - Method in interface org.sat4j.sat.SolverController

setKeepSolverHotPanelEnabled(boolean) - Method in class org.sat4j.sat.HotSolverCommandComponent

setLearnedClausesSizeCleanTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setLearnedClausesSizeRestartTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setLearnedClausesSizeTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType) - Method in class org.sat4j.sat.DetailedCommandPanel

setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType) - Method in interface org.sat4j.sat.SolverController

setLogger(ICDCLLogger) - Method in class org.sat4j.sat.RemoteControlStrategy

setName(String) - Method in class org.sat4j.sat.visu.TraceComposite

setNbClausesAtWhichWeShouldClean(int) - Method in class org.sat4j.sat.DetailedCommandPanel

setNbClausesAtWhichWeShouldClean(int) - Method in class org.sat4j.sat.RemoteControlStrategy

setNbClausesAtWhichWeShouldClean(int) - Method in interface org.sat4j.sat.SolverController

setNbLinesRead(int) - Method in class org.sat4j.sat.visu.VisuPreferences

setNegativeDecisionTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setnVar(int) - Method in class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

setnVar(int) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setnVar(int) - Method in interface org.sat4j.sat.visu.SolverVisualisation

setOptimisationMode(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setOptimisationMode(boolean) - Method in class org.sat4j.sat.RemoteControlFrame

setPhaseListSelectedItem(String) - Method in class org.sat4j.sat.PhaseCommandComponent

setPhasePanelEnabled(boolean) - Method in class org.sat4j.sat.PhaseCommandComponent

setPhaseSelectionStrategy(IPhaseSelectionStrategy) - Method in class org.sat4j.sat.DetailedCommandPanel

setPhaseSelectionStrategy(IPhaseSelectionStrategy) - Method in class org.sat4j.sat.RemoteControlStrategy

setPhaseSelectionStrategy(IPhaseSelectionStrategy) - Method in interface org.sat4j.sat.SolverController

setPhysicalUnits(String, String) - Method in class org.sat4j.sat.visu.TraceComposite

setPlotActivated(boolean) - Method in class org.sat4j.sat.DetailedCommandPanel

setPlusSize(int) - Method in class org.sat4j.sat.visu.PointPainterPlus

Sets the size of the plus point in pixels

setPlusSize(int) - Method in class org.sat4j.sat.visu.TracePainterCross

Sets the size of the crosses to paint in pixel.

setPlusSize(int) - Method in class org.sat4j.sat.visu.TracePainterPlus

Sets the size of the plus to paint in pixel.

setPointHighlighter(IPointPainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

setPositiveDecisionTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setProba(double) - Method in class org.sat4j.sat.RandomWalkCommandComponent

setRandomWalkProba(double) - Method in class org.sat4j.sat.DetailedCommandPanel

setRandomWalkProba(double) - Method in interface org.sat4j.sat.SolverController

setRefreshTime(int) - Method in class org.sat4j.sat.visu.VisuPreferences

setRenderer(Chart2D) - Method in class org.sat4j.sat.visu.TraceComposite

setRestartColor(Color) - Method in class org.sat4j.sat.visu.VisuPreferences

setRestartNegDecisionTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setRestartPanelEnabled(boolean) - Method in class org.sat4j.sat.RestartCommandComponent

setRestartPosDecisionTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setRestartPropertiesPanelEnabled(boolean) - Method in class org.sat4j.sat.RestartCommandComponent

setRestartStrategy(RestartStrategy) - Method in class org.sat4j.sat.DetailedCommandPanel

setRestartStrategy(RestartStrategy) - Method in class org.sat4j.sat.RemoteControlStrategy

setRestartStrategy(RestartStrategy) - Method in interface org.sat4j.sat.SolverController

setRWPanelEnabled(boolean) - Method in class org.sat4j.sat.RandomWalkCommandComponent

setSelectedIndex(int) - Method in class org.sat4j.sat.DetailedCommandPanel.MyTabbedPane

setSelectedSimplification(String) - Method in class org.sat4j.sat.SimplifierCommandComponent

setSimplifier(SimplificationType) - Method in class org.sat4j.sat.DetailedCommandPanel

setSimplifier(SimplificationType) - Method in interface org.sat4j.sat.SolverController

setSimplifierPanelEnabled(boolean) - Method in class org.sat4j.sat.SimplifierCommandComponent

setSlidingWindows(boolean) - Method in class org.sat4j.sat.visu.VisuPreferences

setSolver(ICDCL) - Method in class org.sat4j.sat.RemoteControlStrategy

setSolverVisualisation(SolverVisualisation) - Method in class org.sat4j.sat.DetailedCommandPanel

setSpeedCleanTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setSpeedLabeltext(String) - Method in class org.sat4j.sat.CleanCommandComponent

setSpeedRestartTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setSpeedTrace(ITrace2D) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setStroke(Stroke) - Method in class org.sat4j.sat.visu.TraceComposite

setStyle(String) - Method in class org.sat4j.sat.visu.GnuplotDataFile

setTimeBeforeLaunching(int) - Method in class org.sat4j.sat.visu.VisuPreferences

setTitle(String) - Method in class org.sat4j.sat.visu.GnuplotDataFile

setTracePainter(ITracePainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite

setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy() - Method in class org.sat4j.sat.DetailedCommandPanel

setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy(boolean) - Method in class org.sat4j.sat.RemoteControlStrategy

setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy() - Method in interface org.sat4j.sat.SolverController

setVisible(boolean) - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

setVisible(boolean) - Method in class org.sat4j.sat.visu.TraceComposite

setZIndex(Integer) - Method in class org.sat4j.sat.visu.TraceComposite

shouldCleanNow() - Method in class org.sat4j.sat.DetailedCommandPanel

shouldCleanNow() - Method in interface org.sat4j.sat.SolverController

shouldRestart() - Method in class org.sat4j.sat.RemoteControlStrategy

shouldRestartNow() - Method in class org.sat4j.sat.DetailedCommandPanel

shouldRestartNow() - Method in interface org.sat4j.sat.SolverController

showAvailableConstraintsCleaningStrategies(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showAvailableLearning(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showAvailableOrders(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showAvailablePhase(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showAvailableRestarts(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showAvailableSolvers(ASolverFactory<T>, ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showAvailableSolvers(ASolverFactory<T>, String, ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showParams(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showsErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite

showSimplifiers(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

showsNegativeXErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite

showsNegativeYErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite

showsPositiveXErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite

showsPositiveYErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite

SIMP - Static variable in class org.sat4j.sat.Solvers

SIMPLIFICATION_EXPENSIVE - Static variable in class org.sat4j.sat.SimplifierCommandComponent

SIMPLIFICATION_NO - Static variable in class org.sat4j.sat.SimplifierCommandComponent

SIMPLIFICATION_SIMPLE - Static variable in class org.sat4j.sat.SimplifierCommandComponent

SimplifierCommandComponent - Class in org.sat4j.sat

SimplifierCommandComponent(String, SolverController) - Constructor for class org.sat4j.sat.SimplifierCommandComponent

solutionFound(int[]) - Method in class org.sat4j.sat.DetailedCommandPanel

solve(IProblem) - Method in class org.sat4j.sat.Lanceur

SolverController - Interface in org.sat4j.sat

Solvers - Class in org.sat4j.sat

SolverVisualisation - Interface in org.sat4j.sat.visu

start() - Method in class org.sat4j.sat.DetailedCommandPanel

start() - Method in class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

start() - Method in class org.sat4j.sat.visu.JChartBasedSolverVisualisation

start() - Method in interface org.sat4j.sat.visu.SolverVisualisation

startPaintIteration(Graphics) - Method in class org.sat4j.sat.visu.TracePainterCross

startPaintIteration(Graphics) - Method in class org.sat4j.sat.visu.TracePainterPlus

StartSolverEnum - Enum in org.sat4j.sat

startVisu() - Method in class org.sat4j.sat.DetailedCommandPanel

stopGnuplot() - Method in class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

stopVisu() - Method in class org.sat4j.sat.DetailedCommandPanel

stringUsage(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

T

toString() - Method in class org.sat4j.sat.RemoteControlStrategy

toString() - Method in class org.sat4j.sat.visu.VisuPreferences

TraceComposite - Class in org.sat4j.sat.visu

Every time a point is added to this trace, it is also added to the cloneTrace

TraceComposite(List<ITrace2D>) - Constructor for class org.sat4j.sat.visu.TraceComposite

TraceComposite(ITrace2D...) - Constructor for class org.sat4j.sat.visu.TraceComposite

traceGnuplot() - Method in class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

TracePainterCross - Class in org.sat4j.sat.visu

TracePainterCross() - Constructor for class org.sat4j.sat.visu.TracePainterCross

Creates an instance with a default cross size of 4.

TracePainterCross(int) - Constructor for class org.sat4j.sat.visu.TracePainterCross

Creates an instance with the given cross size.

TracePainterPlus - Class in org.sat4j.sat.visu

TracePainterPlus() - Constructor for class org.sat4j.sat.visu.TracePainterPlus

Creates an instance with a default plus size of 4.

TracePainterPlus(int) - Constructor for class org.sat4j.sat.visu.TracePainterPlus

Creates an instance with the given plus size.

U

updateListOfSolvers() - Method in class org.sat4j.sat.DetailedCommandPanel

updateRestartStrategyPanel() - Method in class org.sat4j.sat.RestartCommandComponent

updateVar(int) - Method in class org.sat4j.sat.RemoteControlStrategy

updateVarAtDecisionLevel(int) - Method in class org.sat4j.sat.RemoteControlStrategy

usage() - Method in class org.sat4j.sat.Lanceur

usage(ICDCLLogger) - Static method in class org.sat4j.sat.Solvers

V

valueOf(String) - Static method in enum org.sat4j.sat.StartSolverEnum

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.sat4j.sat.StartSolverEnum

Returns an array containing the constants of this enum type, in the order they are declared.

VerySimpleCommandPanel - Class in org.sat4j.sat

This panel contains buttons that control restart and clean on solver.

VerySimpleCommandPanel(RemoteControlStrategy) - Constructor for class org.sat4j.sat.VerySimpleCommandPanel

VisuPreferences - Class in org.sat4j.sat.visu

VisuPreferences() - Constructor for class org.sat4j.sat.visu.VisuPreferences

VisuPreferencesFrame - Class in org.sat4j.sat.visu

VisuPreferencesFrame() - Constructor for class org.sat4j.sat.visu.VisuPreferencesFrame

VisuPreferencesFrame(VisuPreferences) - Constructor for class org.sat4j.sat.visu.VisuPreferencesFrame

A B C D E F G H I J L M N O P R S T U V