Index (SAT4J sat 2.3.4 API)

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

A

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

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

H

I

J

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

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

S

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