Serialized Form
-
Package org.chocosolver.solver
-
Class org.chocosolver.solver.Solver extends Object implements Serializable
-
Serialized Fields
-
action
Solver.Action action
The next action to execute in the search loop -
canBeRepaired
boolean canBeRepaired
Set to true when no more reparation can be achieved, ie entire search tree explored. -
completeSearch
boolean completeSearch
Indicates if a complementary search strategy should be added (set to true in that case). -
criteria
List<Criterion> criteria
List of stopping criteria. When at least one is satisfied, the search loop ends. -
defaultSearch
boolean defaultSearch
Indicates if the default search loop is in use (set to true in that case). -
dpath
DecisionPath dpath
The current decision -
engine
PropagationEngine engine
The propagation engine to use -
eventObserver
AbstractEventObserver eventObserver
An events observer -
exception
ContradictionException exception
Internal unique contradiction exception, used on propagation failures -
feasible
ESat feasible
Problem feasbility: - UNDEFINED if unknown, - TRUE if satisfiable, - FALSE if unsatisfiable -
jumpTo
int jumpTo
Counter that indicates how many world should be rolled back when backtracking -
L
Learn L
The learning component of this search loop -
M
Move M
The moving component of this search loop -
mMeasures
MeasuresRecorder mMeasures
The measure recorder to keep up to date -
mModel
Model mModel
The declaring model -
objectivemanager
IObjectiveManager objectivemanager
The objective manager declare -
P
Propagate P
The propagate component of this search loop -
rootWorldIndex
int rootWorldIndex
Index of the initial world, before initialization. May be different from 0 if some external backups have been made. -
searchMonitors
SearchMonitorList searchMonitors
List of search monitors attached to this search loop -
searchWorldIndex
int searchWorldIndex
Index of the world where the search starts, after initialization. -
stop
boolean stop
Set to true to stop the search loop
-
-
-
-
Package org.chocosolver.solver.constraints.nary.alldifferent
-
Class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst.FastResetArrayStack extends gnu.trove.stack.array.TIntArrayStack implements Serializable
-
Serialization Methods
-
readExternal
public void readExternal(ObjectInput arg0) throws IOException, ClassNotFoundException
- Throws:
IOException
ClassNotFoundException
-
writeExternal
public void writeExternal(ObjectOutput arg0) throws IOException
- Throws:
IOException
-
-
-
-
Package org.chocosolver.solver.constraints.nary.automata.FA
-
Class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.NonDeterministicOperationException extends Exception implements Serializable
-
Class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.StateNotInAutomatonException extends Exception implements Serializable
-
-
Package org.chocosolver.solver.exception
-
Class org.chocosolver.solver.exception.ContradictionException extends Exception implements Serializable
-
Class org.chocosolver.solver.exception.SolverException extends RuntimeException implements Serializable
-
-
Package org.chocosolver.solver.objective
-
Package org.chocosolver.solver.search.measure
-
Class org.chocosolver.solver.search.measure.Measures extends Object implements Serializable
- serialVersionUID:
- -474763044797821410L
-
Serialized Fields
-
backjumpCount
long backjumpCount
Counts the number of non chronological backtracks done so far. -
backtrackCount
long backtrackCount
Counts the number of backtracks done so far. -
boundsManager
IBoundsManager boundsManager
Reference to the bound manager -
depth
long depth
Stores the current depth -
failCount
long failCount
Counts the number of failures encountered so far. -
fixpointCount
long fixpointCount
Stores the number of fixpoints -
maxDepth
long maxDepth
Stores the overall maximum depth -
modelName
String modelName
Name of the model observed -- no reference to the model should be done in this class -
nodeCount
long nodeCount
Counts the number of nodes opened so far. -
objectiveOptimal
boolean objectiveOptimal
Indicates if the optimal value has been proven for the objective (set to true). -
readingTimeCount
long readingTimeCount
Counts the time spent into reading the model -
restartCount
long restartCount
Counts the number of restarts done so far. -
solutionCount
long solutionCount
Counts the number of solutions found so far. -
state
SearchState state
Search state -
timeCount
long timeCount
Counts the time spent so far, starting from solver construction call.
-
-
Class org.chocosolver.solver.search.measure.MeasuresRecorder extends Measures implements Serializable
- serialVersionUID:
- -2027525308178413040L
-
Serialization Methods
-
readObject
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException
- Throws:
IOException
ClassNotFoundException
-
writeObject
private void writeObject(ObjectOutputStream out) throws IOException
- Throws:
IOException
-
-
Serialized Fields
-
startingTime
long startingTime
When the clock watch starts
-
-
-
Package org.chocosolver.solver.search.strategy.assignments
-
Package org.chocosolver.solver.search.strategy.decision
-
Class org.chocosolver.solver.search.strategy.decision.Decision extends Object implements Serializable
-
Serialized Fields
-
branch
int branch
Indication of the decision state. 0: not yet applied 1: applied once 2: refuter once, ... -
max_branching
int max_branching
Number of time a decision can be applied. For unary decision set to 1 , for binary decision, set to 2, ... -
position
int position
Indicate the position of this decision in the decision path.
-
-
-
Class org.chocosolver.solver.search.strategy.decision.DecisionPath extends DecisionMaker implements Serializable
-
Class org.chocosolver.solver.search.strategy.decision.IbexDecision extends Decision<Variable> implements Serializable
- serialVersionUID:
- -4723411613242027369L
-
Serialized Fields
-
handler
IbexHandler handler
-
model
Model model
-
-
Class org.chocosolver.solver.search.strategy.decision.IntDecision extends Decision<IntVar> implements Serializable
- serialVersionUID:
- 4319290465131546449L
-
Serialized Fields
-
assignment
DecisionOperator<IntVar> assignment
The assignment operator -
value
int value
The decision value
-
-
Class org.chocosolver.solver.search.strategy.decision.RealDecision extends Decision<RealVar> implements Serializable
- serialVersionUID:
- -4723411613242027280L
-
Serialized Fields
-
epsilon
double epsilon
The step value -
leftFirst
boolean leftFirst
Select left range first -
value
double value
The decision value
-
-
Class org.chocosolver.solver.search.strategy.decision.RootDecision extends Decision implements Serializable
- serialVersionUID:
- -5266363788310578598L
-
Serialization Methods
-
readResolve
private Object readResolve()
-
-
Class org.chocosolver.solver.search.strategy.decision.SetDecision extends Decision<SetVar> implements Serializable
- serialVersionUID:
- -7798444054596001059L
-
Serialized Fields
-
operator
DecisionOperator<SetVar> operator
The assignment operator -
value
int value
The decision value
-
-
-
Package org.chocosolver.solver.trace.frames
-
Class org.chocosolver.solver.trace.frames.StatisticsPanel extends JPanel implements Serializable
-
Serialized Fields
-
alive
boolean alive
A boolean to kill the printer when the resolution ends. -
chart
org.knowm.xchart.XYChart chart
Chart for objective function -
chartOptions
byte chartOptions
Chart option, modified thanks toStatisticsPanel.menuChart
-
chartpanel
org.knowm.xchart.XChartPanel chartpanel
Panel that hostsStatisticsPanel.chart
-
length
int length
-
menuChart
JMenu menuChart
Chart menu -
obj
List<Number> obj
List required byStatisticsPanel.chart
, for Y coordinate -
printer
Thread printer
Thread that updates data -
solver
Solver solver
Solver to extract statistics from -
textFields
JTextField[] textFields
Fields to update -
time
List<Number> time
List required byStatisticsPanel.chart
, for X coordinate
-
-
-
-
Package org.chocosolver.util.objects
-
Class org.chocosolver.util.objects.ShrinkableList extends ArrayList<T> implements Serializable
-