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
 
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
 
CLEANING - Static variable in class org.sat4j.sat.Solvers
 
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, ILogAble) - Static method in class org.sat4j.sat.Solvers
 
configureSolver(String[]) - Method in class org.sat4j.sat.Lanceur
Deprecated.
Configure the solver according to the command line parameters.
configureSolver(String[]) - Method in class org.sat4j.sat.Launcher
Configure the solver according to the command line parameters.
configureSolver(String[], ILogAble) - 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
 
containsOptValue(String[]) - Static method in class org.sat4j.sat.Solvers
 
containsTracePainter(ITracePainter<?>) - Method in class org.sat4j.sat.visu.TraceComposite
 
createCLIOptions() - Static method in class org.sat4j.sat.Lanceur
Deprecated.
 
createCLIOptions() - Static method in class org.sat4j.sat.Solvers
 
createCommandLine(String) - Method in class org.sat4j.sat.visu.VisuPreferences
 
createHotSolverPanel() - Method in class org.sat4j.sat.HotSolverCommandComponent
 
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(ISolver, String) - Method in class org.sat4j.sat.DetailedCommandPanel
 
createReader(ISolver, String) - Method in class org.sat4j.sat.Lanceur
Deprecated.
 
createReader(ISolver, String) - Method in class org.sat4j.sat.Launcher
 
createRWPanel() - Method in class org.sat4j.sat.RandomWalkCommandComponent
 
createSimplifierPanel() - Method in class org.sat4j.sat.SimplifierCommandComponent
 

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
 
displayAnswer() - Method in class org.sat4j.sat.Lanceur
Deprecated.
 
displayLicense() - Method in class org.sat4j.sat.Lanceur
Deprecated.
 
displayResult() - Method in class org.sat4j.sat.Lanceur
Deprecated.
 
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.TraceComposite
 
equals(Object) - Method in class org.sat4j.sat.visu.TracePainterCross
 
equals(Object) - Method in class org.sat4j.sat.visu.TracePainterPlus
 

F

find(String, boolean) - Static method in class org.sat4j.sat.RTSI
 
find(String, String, boolean) - Static method in class org.sat4j.sat.RTSI
 
find(String, Class<?>, boolean) - Static method in class org.sat4j.sat.RTSI
 
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
 
findnames(String, Class<?>, boolean) - 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
Deprecated.
 
getInstanceName(String[]) - Method in class org.sat4j.sat.Launcher
 
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
 
getListOfEncodings(String) - Method in class org.sat4j.sat.DetailedCommandPanel
 
getListOfMaxsatSolvers() - 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
 
getListOfSatSolvers() - Method in class org.sat4j.sat.DetailedCommandPanel
 
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
 
getSolverStats() - Method in class org.sat4j.sat.DetailedCommandPanel
 
getSolverStats() - Method in class org.sat4j.sat.RemoteControlStrategy
 
getSolverStats() - Method in interface org.sat4j.sat.SolverController
 
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
 
getTraces() - 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, ILogAble) - 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.TraceComposite
 
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

init(SearchParams, SolverStats) - Method in class org.sat4j.sat.DetailedCommandPanel
 
init(ISolverService) - Method in class org.sat4j.sat.DetailedCommandPanel
 
init(SearchParams, SolverStats) - 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, SolverStats) - 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
 
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
 

L

Lanceur - Class in org.sat4j.sat
Deprecated.
Lanceur() - Constructor for class org.sat4j.sat.Lanceur
Deprecated.
 
Launcher - Class in org.sat4j.sat
This class is used to launch the SAT solvers from the command line.
Launcher() - Constructor for class org.sat4j.sat.Launcher
 
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
 
learnUnit(int) - Method in class org.sat4j.sat.DetailedCommandPanel
 
log(String) - Method in class org.sat4j.sat.DetailedCommandPanel
 
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
Deprecated.
 
main(String[]) - Static method in class org.sat4j.sat.Launcher
 
main(String[]) - Static method in class org.sat4j.sat.LaunchRemoteControl
 
main(String[]) - Static method in class org.sat4j.sat.RTSI
 
manageStartStopButton() - Method in class org.sat4j.sat.DetailedCommandPanel
 
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
Deprecated.

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.
ProblemType - Enum in org.sat4j.sat
This class enumerates the different types of problem that can be solved when using a launcher.
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
Deprecated.
 
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(ILogAble) - 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, ILogAble) - 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.
run(String[]) - Method in class org.sat4j.sat.Lanceur
Deprecated.
 
run(String[]) - Method in class org.sat4j.sat.Launcher
 

S

select(int) - Method in class org.sat4j.sat.RemoteControlStrategy
 
setActivateGnuplot(boolean) - Method in class org.sat4j.sat.RemoteControlFrame
 
setActivateRadioTracing(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(ILogAble) - 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(ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showAvailableLearning(ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showAvailableOrders(ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showAvailablePhase(ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showAvailableRestarts(ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showAvailableSolvers(ASolverFactory<T>, ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showAvailableSolvers(ASolverFactory<T>, String, ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showParams(ILogAble) - Static method in class org.sat4j.sat.Solvers
 
showsErrorBars() - Method in class org.sat4j.sat.visu.TraceComposite
 
showSimplifiers(ILogAble) - 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[], RandomAccessModel) - Method in class org.sat4j.sat.DetailedCommandPanel
 
solve(IProblem) - Method in class org.sat4j.sat.Lanceur
Deprecated.
 
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(ILogAble) - 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

uncompressed(String) - Static method in class org.sat4j.sat.Solvers
 
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
Deprecated.
 
usage() - Method in class org.sat4j.sat.Launcher
 
usage(ILogAble) - Static method in class org.sat4j.sat.Solvers
 

V

valueOf(String) - Static method in enum org.sat4j.sat.ProblemType
Returns the enum constant of this type with the specified name.
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.ProblemType
Returns an array containing the constants of this enum type, in the order they are declared.
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 

Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.