|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.awt.Component java.awt.Container javax.swing.JComponent javax.swing.JPanel org.sat4j.sat.DetailedCommandPanel
public class DetailedCommandPanel
This panel contains buttons that control restart and clean on solver. It also displays history of commands.
Nested Class Summary | |
---|---|
class |
DetailedCommandPanel.MyTabbedPane
|
Nested classes/interfaces inherited from class javax.swing.JPanel |
---|
JPanel.AccessibleJPanel |
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Container |
---|
Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy |
Field Summary | |
---|---|
static EmptyBorder |
border5
|
Fields inherited from class javax.swing.JComponent |
---|
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW |
Fields inherited from class java.awt.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface org.sat4j.minisat.core.ICDCLLogger |
---|
CONSOLE |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
DetailedCommandPanel(String filename,
RemoteControlFrame frame)
|
|
DetailedCommandPanel(String filename,
String ramdisk,
RemoteControlFrame frame)
|
|
DetailedCommandPanel(String filename,
String ramdisk,
String[] args,
RemoteControlFrame frame)
|
Method Summary | |
---|---|
void |
activateGnuplotTracing(boolean b)
|
void |
adding(int p)
adding forced variable (conflict driven assignment) |
void |
assuming(int p)
decision variable |
void |
backjump(int backjumpLevel)
The solver is asked to backjump to a given decision level. |
void |
backtracking(int p)
backtrack on a decision variable |
void |
beginLoop()
starts a propagation |
void |
cleaning()
The solver is going to delete some learned clauses. |
void |
conflictFound(IConstr confl,
int dlevel,
int trailLevel)
a conflict has been found. |
void |
conflictFound(int p)
a conflict has been found while propagating values. |
void |
createChoixSolverPanel()
|
void |
createInstancePanel()
|
protected Reader |
createReader(ICDCL theSolver,
String problemname)
|
void |
delete(int[] clause)
delete a clause |
void |
end(Lbool result)
End the search. |
VisuPreferences |
getGnuplotPreferences()
|
LearnedConstraintsEvaluationType |
getLearnedConstraintsEvaluationType()
|
List<String> |
getListOfPBSolvers()
|
List<String> |
getListOfSolvers()
|
int |
getNVar()
|
RestartStrategy |
getRestartStrategy()
|
SearchParams |
getSearchParams()
|
ISolver |
getSolver()
|
String |
getStartStopText()
|
DetailedCommandPanel |
getThis()
|
void |
init(ISolverService solverService)
Provide access to the solver's controllable interface. |
void |
init(SearchParams params)
|
void |
initSearchListeners()
|
boolean |
isChartBased()
|
boolean |
isGnuplotBased()
|
boolean |
isPlotActivated()
|
void |
launchSolverWithConfigs()
|
void |
learn(IConstr c)
learning a new clause |
void |
log(String message)
|
void |
logsameline(String message)
|
void |
openFileChooser()
|
void |
propagating(int p,
IConstr reason)
Unit propagation |
void |
restarting()
The solver restarts the search. |
void |
setChartBased(boolean chartBased)
|
void |
setChoixSolverPanelEnabled(boolean enabled)
|
void |
setGnuplotBased(boolean gnuplotBased)
|
void |
setGnuplotPreferences(VisuPreferences gnuplotPreferences)
|
void |
setInstancePanelEnabled(boolean enabled)
|
void |
setKeepSolverHot(boolean keepHot)
|
void |
setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type)
|
void |
setNbClausesAtWhichWeShouldClean(int nbConflicts)
|
void |
setOptimisationMode(boolean optimizationMode)
|
void |
setPhaseSelectionStrategy(IPhaseSelectionStrategy phase)
|
void |
setPlotActivated(boolean isPlotActivated)
|
void |
setRandomWalkProba(double proba)
|
void |
setRestartStrategy(RestartStrategy strategy)
|
void |
setSimplifier(SimplificationType type)
|
void |
setSolverVisualisation(SolverVisualisation visu)
|
void |
setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()
|
void |
shouldCleanNow()
|
void |
shouldRestartNow()
|
void |
solutionFound(int[] model)
a solution is found. |
void |
start()
Start the search. |
void |
startVisu()
|
void |
stopVisu()
|
void |
updateListOfSolvers()
|
Methods inherited from class javax.swing.JPanel |
---|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final EmptyBorder border5
Constructor Detail |
---|
public DetailedCommandPanel(String filename, RemoteControlFrame frame)
public DetailedCommandPanel(String filename, String ramdisk, RemoteControlFrame frame)
public DetailedCommandPanel(String filename, String ramdisk, String[] args, RemoteControlFrame frame)
Method Detail |
---|
public void createInstancePanel()
public void createChoixSolverPanel()
public String getStartStopText()
public void setOptimisationMode(boolean optimizationMode)
public void launchSolverWithConfigs()
public void initSearchListeners()
public int getNVar()
getNVar
in interface SolverController
public void setPhaseSelectionStrategy(IPhaseSelectionStrategy phase)
setPhaseSelectionStrategy
in interface SolverController
public void shouldRestartNow()
shouldRestartNow
in interface SolverController
public void setRestartStrategy(RestartStrategy strategy)
setRestartStrategy
in interface SolverController
public RestartStrategy getRestartStrategy()
getRestartStrategy
in interface SolverController
public SearchParams getSearchParams()
getSearchParams
in interface SolverController
public void init(SearchParams params)
init
in interface SolverController
public void setNbClausesAtWhichWeShouldClean(int nbConflicts)
setNbClausesAtWhichWeShouldClean
in interface SolverController
public void setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()
setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy
in interface SolverController
public void setLearnedDeletionStrategyTypeToSolver(LearnedConstraintsEvaluationType type)
setLearnedDeletionStrategyTypeToSolver
in interface SolverController
public LearnedConstraintsEvaluationType getLearnedConstraintsEvaluationType()
public void shouldCleanNow()
shouldCleanNow
in interface SolverController
public void setKeepSolverHot(boolean keepHot)
setKeepSolverHot
in interface SolverController
public boolean isGnuplotBased()
public void setGnuplotBased(boolean gnuplotBased)
public boolean isChartBased()
public void setChartBased(boolean chartBased)
public boolean isPlotActivated()
public void setPlotActivated(boolean isPlotActivated)
public void setRandomWalkProba(double proba)
setRandomWalkProba
in interface SolverController
public void setSimplifier(SimplificationType type)
setSimplifier
in interface SolverController
public List<String> getListOfSolvers()
public List<String> getListOfPBSolvers()
public void log(String message)
log
in interface ICDCLLogger
public void logsameline(String message)
public void openFileChooser()
protected Reader createReader(ICDCL theSolver, String problemname)
public void updateListOfSolvers()
public void setInstancePanelEnabled(boolean enabled)
public void setChoixSolverPanelEnabled(boolean enabled)
public void setSolverVisualisation(SolverVisualisation visu)
public void activateGnuplotTracing(boolean b)
public void startVisu()
public void stopVisu()
public VisuPreferences getGnuplotPreferences()
public void setGnuplotPreferences(VisuPreferences gnuplotPreferences)
public DetailedCommandPanel getThis()
public ISolver getSolver()
public void init(ISolverService solverService)
SearchListener
init
in interface SearchListener
solverService
- a way to safely control the solver.public void assuming(int p)
SearchListener
assuming
in interface SearchListener
public void propagating(int p, IConstr reason)
SearchListener
propagating
in interface SearchListener
reason
- TODOpublic void backtracking(int p)
SearchListener
backtracking
in interface SearchListener
public void adding(int p)
SearchListener
adding
in interface SearchListener
public void learn(IConstr c)
SearchListener
learn
in interface SearchListener
public void delete(int[] clause)
SearchListener
delete
in interface SearchListener
public void conflictFound(IConstr confl, int dlevel, int trailLevel)
SearchListener
conflictFound
in interface SearchListener
confl
- TODOdlevel
- TODOtrailLevel
- TODOpublic void conflictFound(int p)
SearchListener
conflictFound
in interface SearchListener
p
- the conflicting value.public void solutionFound(int[] model)
SearchListener
solutionFound
in interface SearchListener
model
- the model foundpublic void beginLoop()
SearchListener
beginLoop
in interface SearchListener
public void start()
SearchListener
start
in interface SearchListener
public void end(Lbool result)
SearchListener
end
in interface SearchListener
result
- the result of the search.public void restarting()
SearchListener
restarting
in interface SearchListener
public void backjump(int backjumpLevel)
SearchListener
backjump
in interface SearchListener
public void cleaning()
SearchListener
cleaning
in interface SearchListener
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |