Serialized Form

Package org.sat4j.sat

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

serialVersionUID: 1L

Serialized Fields

cleanSlider

JSlider cleanSlider

evaluationLabel

JLabel evaluationLabel

evaluationGroup

ButtonGroup evaluationGroup

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

cleanValuesTable

Hashtable<K,V> cleanValuesTable

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

ramdisk

String ramdisk

telecomStrategy

RemoteControlStrategy telecomStrategy

randomWalk

RandomWalkDecorator randomWalk

solver

ICDCL<D extends DataStructureFactory> solver

reader

Reader reader

problem

IProblem problem

optimizationMode

boolean optimizationMode

commandLines

String[] commandLines

firstStart

boolean firstStart

startConfig

StartSolverEnum startConfig

solveurThread

Thread solveurThread

stringWriter

StringWriter stringWriter

tabbedPane

DetailedCommandPanel.MyTabbedPane tabbedPane

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

selectedSolver

String selectedSolver

listeSolvers

JComboBox listeSolvers

optimisationModeCB

JCheckBox optimisationModeCB

solverLineParamLineRadio

JRadioButton solverLineParamLineRadio

solverLineParamRemoteRadio

JRadioButton solverLineParamRemoteRadio

solverListParamListRadio

JRadioButton solverListParamListRadio

solverListParamRemoteRadio

JRadioButton solverListParamRemoteRadio

solverConfigGroup

ButtonGroup solverConfigGroup

chooseStartConfigLabel

JLabel chooseStartConfigLabel

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

scrollPane

JScrollPane scrollPane

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

isModeOptimization

boolean isModeOptimization

problem

IProblem problem

cdclSolver

ICDCL<D extends DataStructureFactory> cdclSolver

modeTracing

boolean modeTracing

launchRemoteControl

boolean launchRemoteControl

factory

ASolverFactory<T extends ISolver> factory

filename

String filename

k

int k

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

serialVersionUID: 1L

Serialized Fields

currentPhaseSelectionStrategy

String currentPhaseSelectionStrategy

phaseList

JComboBox 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

lookAndFeel

String lookAndFeel

barreMenu

JMenuBar barreMenu

menu

JMenu menu

activateTracing

JMenuItem activateTracing

commandePanel

DetailedCommandPanel commandePanel

filename

String filename

ramdisk

String ramdisk

telecomStrategy

RemoteControlStrategy telecomStrategy

randomWalk

RandomWalkDecorator randomWalk

args

String[] args

visuFrame

VisuPreferencesFrame visuFrame

gnuplotBasedRadio

JRadioButtonMenuItem gnuplotBasedRadio

jChartBasedRadio

JRadioButtonMenuItem jChartBasedRadio

Class org.sat4j.sat.RemoteControlStrategy extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

restart

RestartStrategy restart

phaseSelectionStrategy

IPhaseSelectionStrategy phaseSelectionStrategy

logger

ICDCLLogger 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

restartButtonPanel

JPanel restartButtonPanel

chooseRestartStrategyLabel

JLabel chooseRestartStrategyLabel

noParameterLabel

JLabel noParameterLabel

listeRestarts

JComboBox listeRestarts

restartButton

JButton restartButton

changeRestartMode

JButton changeRestartMode

factorLabel

JLabel factorLabel

factorField

JTextField factorField

currentRestart

String currentRestart

controller

SolverController controller

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.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

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

m_pointPainter

PointPainterCross m_pointPainter

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

m_pointPainter

PointPainterPlus m_pointPainter

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

generalOptionsPanel

JPanel generalOptionsPanel

gnuplotOptionsPanel

JPanel gnuplotOptionsPanel

graphPanel

JPanel graphPanel

backgroundColorLabel

JLabel backgroundColorLabel

bgButton

JButton bgButton

borderColorLabel

JLabel borderColorLabel

borderButton

JButton borderButton

nbLinesReadLabel

JLabel nbLinesReadLabel

nbLinesTextField

JTextField nbLinesTextField

refreshTimeLabel

JLabel refreshTimeLabel

refreshTimeField

JTextField refreshTimeField

timeBeforeLaunchLabel

JLabel timeBeforeLaunchLabel

timeBeforeLaunchField

JTextField timeBeforeLaunchField

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

okButton

JButton okButton