Serialized Form (SAT4J sat 2.3.3 API)

Package org.sat4j.sat
- Class org.sat4j.sat.CleanCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - cleanSlider
```
JSlider cleanSlider
```
    - evaluationLabel
```
JLabel evaluationLabel
```
    - activityRadio
```
JRadioButton activityRadio
```
    - lbdRadio
```
JRadioButton lbdRadio
```
    - lbd2Radio
```
JRadioButton lbd2Radio
```
    - cleanAndEvaluationApplyButton
```
JButton cleanAndEvaluationApplyButton
```
    - cleanButton
```
JButton cleanButton
```
    - manualCleanLabel
```
JLabel manualCleanLabel
```
    - speedLabel
```
JLabel speedLabel
```
    - speedNameLabel
```
JLabel speedNameLabel
```
    - speedUnitLabel
```
JLabel speedUnitLabel
```
    - deleteClauseLabel
```
JLabel deleteClauseLabel
```
    - clean5000Label
```
JLabel clean5000Label
```
    - clean10000Label
```
JLabel clean10000Label
```
    - clean20000Label
```
JLabel clean20000Label
```
    - clean50000Label
```
JLabel clean50000Label
```
    - clean100000Label
```
JLabel clean100000Label
```
    - clean500000Label
```
JLabel clean500000Label
```
    - controller
```
SolverController controller
```
    - cleanUseOriginalStrategyCB
```
JCheckBox cleanUseOriginalStrategyCB
```
- Class org.sat4j.sat.CommandComponent extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.sat.DetailedCommandPanel extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - encodingPolicy
```
Policy encodingPolicy
```
    - ramdisk
```
String ramdisk
```
    - telecomStrategy
```
RemoteControlStrategy telecomStrategy
```
    - randomWalk
```
RandomWalkDecorator randomWalk
```
    - solver
```
ISolver solver
```
    - reader
```
Reader reader
```
    - problem
```
IProblem problem
```
    - problemType
```
ProblemType problemType
```
    - optimizationMode
```
boolean optimizationMode
```
    - equivalenceMode
```
boolean equivalenceMode
```
    - lowerMode
```
boolean lowerMode
```
    - commandLines
```
String[] commandLines
```
    - firstStart
```
boolean firstStart
```
    - startConfig
```
StartSolverEnum startConfig
```
    - stringWriter
```
StringWriter stringWriter
```
    - aboutSolverPanel
```
JPanel aboutSolverPanel
```
    - textArea
```
JTextArea textArea
```
    - instancePanel
```
JPanel instancePanel
```
    - instanceLabel
```
JLabel instanceLabel
```
    - instancePathField
```
JTextField instancePathField
```
    - instancePath
```
String instancePath
```
    - browseButton
```
JButton browseButton
```
    - whereToWriteFiles
```
String whereToWriteFiles
```
    - choixSolverPanel
```
JPanel choixSolverPanel
```
    - choixSolver
```
JLabel choixSolver
```
    - listeSolvers
```
JComboBox<E> listeSolvers
```
    - optimisationModeCB
```
JCheckBox optimisationModeCB
```
    - equivalenceCB
```
JCheckBox equivalenceCB
```
    - lowerCB
```
JCheckBox lowerCB
```
    - atMostKCB
```
JComboBox<E> atMostKCB
```
    - atMost1CB
```
JComboBox<E> atMost1CB
```
    - exactlyKCB
```
JComboBox<E> exactlyKCB
```
    - exactly1CB
```
JComboBox<E> exactly1CB
```
    - solverLineParamLineRadio
```
JRadioButton solverLineParamLineRadio
```
    - solverLineParamRemoteRadio
```
JRadioButton solverLineParamRemoteRadio
```
    - solverListParamListRadio
```
JRadioButton solverListParamListRadio
```
    - solverListParamRemoteRadio
```
JRadioButton solverListParamRemoteRadio
```
    - startStopButton
```
JButton startStopButton
```
    - pauseButton
```
JButton pauseButton
```
    - restartPanel
```
RestartCommandComponent restartPanel
```
    - rwPanel
```
RandomWalkCommandComponent rwPanel
```
    - cleanPanel
```
CleanCommandComponent cleanPanel
```
    - phasePanel
```
PhaseCommandComponent phasePanel
```
    - simplifierPanel
```
SimplifierCommandComponent simplifierPanel
```
    - hotSolverPanel
```
HotSolverCommandComponent hotSolverPanel
```
    - console
```
JTextArea console
```
    - isPlotActivated
```
boolean isPlotActivated
```
    - solverVisu
```
SolverVisualisation solverVisu
```
    - visuPreferences
```
VisuPreferences visuPreferences
```
    - gnuplotBased
```
boolean gnuplotBased
```
    - chartBased
```
boolean chartBased
```
    - frame
```
RemoteControlFrame frame
```
    - begin
```
long begin
```
    - end
```
long end
```
    - propagationsCounter
```
int propagationsCounter
```
    - conflictCounter
```
int conflictCounter
```
    - outSolutionFound
```
PrintStream outSolutionFound
```
- Class org.sat4j.sat.DetailedCommandPanel.MyTabbedPane extends JTabbedPane implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.sat.HotSolverCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - controller
```
SolverController controller
```
    - keepSolverHotCB
```
JCheckBox keepSolverHotCB
```
    - applyHotSolver
```
JButton applyHotSolver
```
- Class org.sat4j.sat.Lanceur extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - incomplete
```
boolean incomplete
```
      Deprecated.
    - isModeOptimization
```
boolean isModeOptimization
```
      Deprecated.
    - problem
```
IProblem problem
```
      Deprecated.
    - modeTracing
```
boolean modeTracing
```
      Deprecated.
    - launchRemoteControl
```
boolean launchRemoteControl
```
      Deprecated.
    - filename
```
String filename
```
      Deprecated.
    - k
```
int k
```
      Deprecated.
- Class org.sat4j.sat.Launcher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - isModeOptimization
```
boolean isModeOptimization
```
    - modeTracing
```
boolean modeTracing
```
    - launchRemoteControl
```
boolean launchRemoteControl
```
    - filename
```
String filename
```
    - typeProbleme
```
ProblemType typeProbleme
```
- Class org.sat4j.sat.PhaseCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - currentPhaseSelectionStrategy
```
String currentPhaseSelectionStrategy
```
    - phaseList
```
JComboBox<E> phaseList
```
    - phaseListLabel
```
JLabel phaseListLabel
```
    - phaseApplyButton
```
JButton phaseApplyButton
```
    - solverController
```
SolverController solverController
```
- Class org.sat4j.sat.RandomWalkCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - controller
```
SolverController controller
```
    - probaRWLabel
```
JLabel probaRWLabel
```
    - probaRWField
```
JTextField probaRWField
```
    - applyRWButton
```
JButton applyRWButton
```
- Class org.sat4j.sat.RemoteControlFrame extends JFrame implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activateTracing
```
JMenuItem activateTracing
```
    - gnuplotBasedRadio
```
JRadioButtonMenuItem gnuplotBasedRadio
```
    - jChartBasedRadio
```
JRadioButtonMenuItem jChartBasedRadio
```
    - commandePanel
```
DetailedCommandPanel commandePanel
```
    - filename
```
String filename
```
    - ramdisk
```
String ramdisk
```
    - args
```
String[] args
```
    - visuFrame
```
VisuPreferencesFrame visuFrame
```
- Class org.sat4j.sat.RemoteControlStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - restart
```
RestartStrategy restart
```
    - phaseSelectionStrategy
```
IPhaseSelectionStrategy phaseSelectionStrategy
```
    - logger
```
ILogAble logger
```
    - isInterrupted
```
boolean isInterrupted
```
    - hasClickedOnRestart
```
boolean hasClickedOnRestart
```
    - hasClickedOnClean
```
boolean hasClickedOnClean
```
    - conflictNumber
```
int conflictNumber
```
    - nbClausesAtWhichWeShouldClean
```
int nbClausesAtWhichWeShouldClean
```
    - useTelecomStrategyAsLearnedConstraintsDeletionStrategy
```
boolean useTelecomStrategyAsLearnedConstraintsDeletionStrategy
```
    - solver
```
ICDCL<D extends DataStructureFactory> solver
```
- Class org.sat4j.sat.RestartCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - restartPropertiesPanel
```
JPanel restartPropertiesPanel
```
    - chooseRestartStrategyLabel
```
JLabel chooseRestartStrategyLabel
```
    - noParameterLabel
```
JLabel noParameterLabel
```
    - listeRestarts
```
JComboBox<E> listeRestarts
```
    - restartButton
```
JButton restartButton
```
    - changeRestartMode
```
JButton changeRestartMode
```
    - factorLabel
```
JLabel factorLabel
```
    - factorField
```
JTextField factorField
```
    - currentRestart
```
String currentRestart
```
    - controller
```
SolverController controller
```
    - logger
```
ILogAble logger
```
- Class org.sat4j.sat.SimplifierCommandComponent extends CommandComponent implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - controller
```
SolverController controller
```
    - simplificationApplyButton
```
JButton simplificationApplyButton
```
    - simplificationGroup
```
ButtonGroup simplificationGroup
```
    - simplificationNoRadio
```
JRadioButton simplificationNoRadio
```
    - simplificationSimpleRadio
```
JRadioButton simplificationSimpleRadio
```
    - simplificationExpensiveRadio
```
JRadioButton simplificationExpensiveRadio
```
- Class org.sat4j.sat.VerySimpleCommandPanel extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - telecomStrategy
```
RemoteControlStrategy telecomStrategy
```
    - restartButton
```
JButton restartButton
```
    - cleanButton
```
JButton cleanButton
```
    - console
```
JTextArea console
```
Package org.sat4j.sat.visu
- Class org.sat4j.sat.visu.ChartBasedVisualizationTool extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - trace
```
info.monitorenter.gui.chart.ITrace2D trace
```
- Class org.sat4j.sat.visu.GnuplotBasedSolverVisualisation extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuPreferences
```
VisuPreferences visuPreferences
```
    - nVar
```
int nVar
```
    - gnuplotProcess
```
Process gnuplotProcess
```
    - dataPath
```
String dataPath
```
    - logger
```
ILogAble logger
```
- Class org.sat4j.sat.visu.JChartBasedSolverVisualisation extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuFrame
```
JFrame visuFrame
```
    - nVar
```
int nVar
```
    - variablesEvaluationChart
```
info.monitorenter.gui.chart.Chart2D variablesEvaluationChart
```
    - clausesEvaluationChart
```
info.monitorenter.gui.chart.Chart2D clausesEvaluationChart
```
    - learnedClausesSizeChart
```
info.monitorenter.gui.chart.Chart2D learnedClausesSizeChart
```
    - decisionLevelWhenConflictChart
```
info.monitorenter.gui.chart.Chart2D decisionLevelWhenConflictChart
```
    - trailLevelWhenConflictChart
```
info.monitorenter.gui.chart.Chart2D trailLevelWhenConflictChart
```
    - positiveDecisionVariableChart
```
info.monitorenter.gui.chart.Chart2D positiveDecisionVariableChart
```
    - negativeDecisionVariableChart
```
info.monitorenter.gui.chart.Chart2D negativeDecisionVariableChart
```
    - propagationPerSecondChart
```
info.monitorenter.gui.chart.Chart2D propagationPerSecondChart
```
    - positiveDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D positiveDecisionTrace
```
    - negativeDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D negativeDecisionTrace
```
    - restartPosDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D restartPosDecisionTrace
```
    - restartNegDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D restartNegDecisionTrace
```
    - cleanPosDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D cleanPosDecisionTrace
```
    - cleanNegDecisionTrace
```
info.monitorenter.gui.chart.ITrace2D cleanNegDecisionTrace
```
    - learnedClausesSizeTrace
```
info.monitorenter.gui.chart.ITrace2D learnedClausesSizeTrace
```
    - learnedClausesSizeRestartTrace
```
info.monitorenter.gui.chart.ITrace2D learnedClausesSizeRestartTrace
```
    - learnedClausesSizeCleanTrace
```
info.monitorenter.gui.chart.ITrace2D learnedClausesSizeCleanTrace
```
    - conflictDepthTrace
```
info.monitorenter.gui.chart.ITrace2D conflictDepthTrace
```
    - conflictDepthRestartTrace
```
info.monitorenter.gui.chart.ITrace2D conflictDepthRestartTrace
```
    - conflictDepthCleanTrace
```
info.monitorenter.gui.chart.ITrace2D conflictDepthCleanTrace
```
    - clausesEvaluationTrace
```
info.monitorenter.gui.chart.ITrace2D clausesEvaluationTrace
```
    - conflictLevelTrace
```
info.monitorenter.gui.chart.ITrace2D conflictLevelTrace
```
    - conflictLevelRestartTrace
```
info.monitorenter.gui.chart.ITrace2D conflictLevelRestartTrace
```
    - conflictLevelCleanTrace
```
info.monitorenter.gui.chart.ITrace2D conflictLevelCleanTrace
```
    - heuristicsTrace
```
info.monitorenter.gui.chart.ITrace2D heuristicsTrace
```
    - speedTrace
```
info.monitorenter.gui.chart.ITrace2D speedTrace
```
    - speedCleanTrace
```
info.monitorenter.gui.chart.ITrace2D speedCleanTrace
```
    - speedRestartTrace
```
info.monitorenter.gui.chart.ITrace2D speedRestartTrace
```
    - pref
```
VisuPreferences pref
```
- Class org.sat4j.sat.visu.MyChartPanel extends JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - titleLabel
```
JLabel titleLabel
```
- Class org.sat4j.sat.visu.PointPainterCross extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - crossSize
```
int crossSize
```
      The size of the cross point in pixels
- Class org.sat4j.sat.visu.PointPainterPlus extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - plusSize
```
int plusSize
```
      The size of the plus point in pixels
- Class org.sat4j.sat.visu.TraceComposite extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - traces
```
List<E> traces
```
- Class org.sat4j.sat.visu.TracePainterCross extends info.monitorenter.gui.chart.traces.painters.ATracePainter implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mPointPainter
```
PointPainterCross mPointPainter
```
      The implementation for rendering the point as a cross.
- Class org.sat4j.sat.visu.TracePainterPlus extends info.monitorenter.gui.chart.traces.painters.ATracePainter implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mPointPainter
```
PointPainterPlus mPointPainter
```
      The implementation for rendering the point as a plus.
- Class org.sat4j.sat.visu.VisuPreferencesFrame extends JFrame implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - preferences
```
VisuPreferences preferences
```
    - mainPanel
```
JPanel mainPanel
```
    - bgButton
```
JButton bgButton
```
    - borderButton
```
JButton borderButton
```
    - nbLinesReadLabel
```
JLabel nbLinesReadLabel
```
    - nbLinesTextField
```
JTextField nbLinesTextField
```
    - displayRestartsCheckBox
```
JCheckBox displayRestartsCheckBox
```
    - restartColorLabel
```
JLabel restartColorLabel
```
    - restartButton
```
JButton restartButton
```
    - slidingWindows
```
JCheckBox slidingWindows
```
    - displayDecisionIndexesCB
```
JCheckBox displayDecisionIndexesCB
```
    - displaySpeedCB
```
JCheckBox displaySpeedCB
```
    - displayConflictsTrailCB
```
JCheckBox displayConflictsTrailCB
```
    - displayConflictsDecisionCB
```
JCheckBox displayConflictsDecisionCB
```
    - displayVariablesEvaluationCB
```
JCheckBox displayVariablesEvaluationCB
```
    - displayClausesEvaluationCB
```
JCheckBox displayClausesEvaluationCB
```
    - displayClausesSizeCB
```
JCheckBox displayClausesSizeCB
```
    - gnuplotOptionsPanel
```
JPanel gnuplotOptionsPanel
```
    - generalOptionsPanel
```
JPanel generalOptionsPanel
```

Serialized Form

Package org.sat4j.sat

Class org.sat4j.sat.CleanCommandComponent extends CommandComponent implements Serializable

Serialized Fields

cleanSlider

evaluationLabel

activityRadio

lbdRadio

lbd2Radio

cleanAndEvaluationApplyButton

cleanButton

manualCleanLabel

speedLabel

speedNameLabel

speedUnitLabel

deleteClauseLabel

clean5000Label

clean10000Label

clean20000Label

clean50000Label

clean100000Label

clean500000Label

controller

cleanUseOriginalStrategyCB

Class org.sat4j.sat.CommandComponent extends JPanel implements Serializable

Class org.sat4j.sat.DetailedCommandPanel extends JPanel implements Serializable

Serialized Fields

encodingPolicy

ramdisk

telecomStrategy

randomWalk

solver

reader

problem

problemType

optimizationMode

equivalenceMode

lowerMode

commandLines

firstStart

startConfig

stringWriter

aboutSolverPanel

textArea

instancePanel

instanceLabel

instancePathField

instancePath

browseButton

whereToWriteFiles

choixSolverPanel

choixSolver

listeSolvers

optimisationModeCB

equivalenceCB

lowerCB

atMostKCB

atMost1CB

exactlyKCB

exactly1CB

solverLineParamLineRadio

solverLineParamRemoteRadio

solverListParamListRadio

solverListParamRemoteRadio

startStopButton

pauseButton

restartPanel

rwPanel

cleanPanel

phasePanel

simplifierPanel

hotSolverPanel

console

isPlotActivated

solverVisu

visuPreferences

gnuplotBased

chartBased

frame

begin