Serialized Form (org.choco-solver-choco-solver 4.0.4 API)

Package org.chocosolver.solver
- Class org.chocosolver.solver.Solver extends Object implements Serializable
  - Serialized Fields
    - P
```
Propagate P
```
      The propagate component of this search loop
    - L
```
Learn L
```
      The learning component of this search loop
    - M
```
Move M
```
      The moving component of this search loop
    - mModel
```
Model mModel
```
      The declaring model
    - objectivemanager
```
IObjectiveManager<V extends Variable> objectivemanager
```
      The objective manager declare
    - action
```
Solver.Action action
```
      The next action to execute in the search loop
    - mMeasures
```
MeasuresRecorder mMeasures
```
      The measure recorder to keep up to date
    - dpath
```
DecisionPath dpath
```
      The current decision
    - rootWorldIndex
```
int rootWorldIndex
```
      Index of the initial world, before initialization. May be different from 0 if some external backups have been made.
    - searchWorldIndex
```
int searchWorldIndex
```
      Index of the world where the search starts, after initialization.
    - criteria
```
List<E> 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).
    - completeSearch
```
boolean completeSearch
```
      Indicates if a complementary search strategy should be added (set to true in that case).
    - explainer
```
IExplanationEngine explainer
```
      An explanation engine
    - searchMonitors
```
SearchMonitorList searchMonitors
```
      List of search monitors attached to this search loop
    - engine
```
IPropagationEngine engine
```
      The propagation engine to use
    - 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
    - stop
```
boolean stop
```
      Set to true to stop the search loop
    - canBeRepaired
```
boolean canBeRepaired
```
      Set to true when no more reparation can be achieved, ie entire search tree explored.
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.constraints.nary.automata.structure.costregular
- Class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc extends org.jgrapht.graph.DefaultWeightedEdge implements Serializable
  - Serialized Fields
    - id
```
int id
```
    - orig
```
Node orig
```
    - dest
```
Node dest
```
    - value
```
int value
```
    - cost
```
double cost
```
Package org.chocosolver.solver.exception
- Class org.chocosolver.solver.exception.ContradictionException extends Exception implements Serializable
  - Serialized Fields
    - c
```
ICause c
```
    - v
```
Variable v
```
    - s
```
String s
```
- 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
    - modelName
```
String modelName
```
      Name of the model observed -- no reference to the model should be done in this class
    - state
```
SearchState state
```
      Search state
    - boundsManager
```
IBoundsManager boundsManager
```
      Reference to the bound manager
    - objectiveOptimal
```
boolean objectiveOptimal
```
      Indicates if the optimal value has been proven for the objective (set to true).
    - solutionCount
```
long solutionCount
```
      Counts the number of solutions found so far.
    - timeCount
```
long timeCount
```
      Counts the time spent so far, starting from solver construction call.
    - readingTimeCount
```
long readingTimeCount
```
      Counts the time spent into reading the model
    - nodeCount
```
long nodeCount
```
      Counts the number of nodes opened so far.
    - backtrackCount
```
long backtrackCount
```
      Counts the number of backtracks done so far.
    - failCount
```
long failCount
```
      Counts the number of failures encountered so far.
    - restartCount
```
long restartCount
```
      Counts the number of restarts done so far.
    - maxDepth
```
long maxDepth
```
      Stores the overall maximum depth
    - depth
```
long depth
```
      Stores the current depth
- 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
    - 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, ...
    - branch
```
int branch
```
      Indication of the decision state. 0: not yet applied 1: applied once 2: refuter once, ...
    - 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
  - Serialized Fields
    - decisions
```
List<E> decisions
```
      Current decision path.
    - mLevel
```
IStateInt mLevel
```
      Store the sizes of DecisionPath.decisions during search, to evaluate which decisions are part of the same level.
    - levels
```
int[] levels
```
      Indices of level in DecisionPath.decisions
- Class org.chocosolver.solver.search.strategy.decision.IntDecision extends Decision<IntVar> implements Serializable
  
  serialVersionUID:
  
  4319290465131546449L
  - Serialized Fields
    - value
```
int value
```
      The decision value
    - assignment
```
DecisionOperator<V extends Variable> assignment
```
      The assignment operator
- Class org.chocosolver.solver.search.strategy.decision.RealDecision extends Decision<RealVar> implements Serializable
  
  serialVersionUID:
  
  -4723411613242027280L
  - Serialized Fields
    - 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
    - value
```
int value
```
      The decision value
    - operator
```
DecisionOperator<V extends Variable> operator
```
      The assignment operator

Serialized Form

Package org.chocosolver.solver

Class org.chocosolver.solver.Solver extends Object implements Serializable

Serialized Fields

P

L

M

mModel

objectivemanager

action

mMeasures

dpath

rootWorldIndex

searchWorldIndex

criteria

defaultSearch

completeSearch

explainer

searchMonitors

engine

exception

feasible

jumpTo

stop

canBeRepaired

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

writeExternal

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.constraints.nary.automata.structure.costregular

Class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc extends org.jgrapht.graph.DefaultWeightedEdge implements Serializable

Serialized Fields

id

orig

dest

value

cost

Package org.chocosolver.solver.exception

Class org.chocosolver.solver.exception.ContradictionException extends Exception implements Serializable

Serialized Fields

c

v

s

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

Serialized Fields

modelName

state

boundsManager

objectiveOptimal

solutionCount

timeCount

readingTimeCount

nodeCount

backtrackCount

failCount

restartCount

maxDepth

depth

Class org.chocosolver.solver.search.measure.MeasuresRecorder extends Measures implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

startingTime

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

max_branching

branch

position

Class org.chocosolver.solver.search.strategy.decision.DecisionPath extends DecisionMaker implements Serializable

Serialized Fields