Serialized Form (SAT4J core 2.3.3 API)

Package org.sat4j
- Class org.sat4j.AbstractLauncher extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream stream)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - beginTime
```
long beginTime
```
    - exitCode
```
ExitCode exitCode
```
    - reader
```
Reader reader
```
    - displaySolutionLine
```
boolean displaySolutionLine
```
    - solver
```
ISolver solver
```
    - problem
```
IProblem problem
```
    - silent
```
boolean silent
```
    - prime
```
boolean prime
```
    - launcherMode
```
ILauncherMode launcherMode
```
- Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - incomplete
```
boolean incomplete
```
      Deprecated.
    - displaySolutionLine
```
boolean displaySolutionLine
```
      Deprecated.
- Class org.sat4j.BasicLauncher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - factory
```
ASolverFactory<T extends ISolver> factory
```
- Class org.sat4j.LightFactory extends ASolverFactory<ISolver> implements Serializable
  
  serialVersionUID:
  
  1460304168178023681L
- Class org.sat4j.MUSLauncher extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mus
```
int[] mus
```
    - xplain
```
Explainer xplain
```
    - highLevel
```
boolean highLevel
```
    - allMuses
```
AllMUSes allMuses
```
    - muscount
```
int muscount
```
Package org.sat4j.core
- Class org.sat4j.core.ASolverFactory extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.core.DefaultComparator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.core.ReadOnlyVec extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - vec
```
IVec<T> vec
```
- Class org.sat4j.core.ReadOnlyVecInt extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - vec
```
IVecInt vec
```
- Class org.sat4j.core.Vec extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbelem
```
int nbelem
```
    - myarray
```
Object[] myarray
```
- Class org.sat4j.core.VecInt extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbelem
```
int nbelem
```
    - myarray
```
int[] myarray
```
Package org.sat4j.minisat
- Class org.sat4j.minisat.SolverFactory extends ASolverFactory<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.minisat.constraints
- Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lits
```
ILits lits
```
    - tmp
```
IVec<T> tmp
```
    - solver
```
UnitPropagationListener solver
```
    - learner
```
Learner learner
```
- Class org.sat4j.minisat.constraints.CardinalityDataStructure extends AbstractCardinalityDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends AbstractCardinalityDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends AbstractCardinalityDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.ClausalDataStructureWL extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.MixedDataStructureSingleWL extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.minisat.constraints.card
- Class org.sat4j.minisat.constraints.card.AtLeast extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - maxUnsatisfied
```
int maxUnsatisfied
```
      number of allowed falsified literal
    - counter
```
int counter
```
      current number of falsified literals
    - lits
```
int[] lits
```
      constraint literals
    - voc
```
ILits voc
```
- Class org.sat4j.minisat.constraints.card.MaxWatchCard extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - degree
```
int degree
```
      Degr? de la contrainte de cardinalit?
    - lits
```
int[] lits
```
      Liste des litt?raux de la contrainte
    - moreThan
```
boolean moreThan
```
      D?termine si c'est une in?galit? sup?rieure ou ?gale
    - watchCumul
```
int watchCumul
```
      Somme des coefficients des litt?raux observ?s
    - voc
```
ILits voc
```
      Vocabulaire de la contrainte
- Class org.sat4j.minisat.constraints.card.MinWatchCard extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - degree
```
int degree
```
      degree of the cardinality constraint
    - lits
```
int[] lits
```
      literals involved in the constraint
    - moreThan
```
boolean moreThan
```
      contains the sign of the constraint : ATLEAT or ATMOST
    - watchCumul
```
int watchCumul
```
      contains the sum of the coefficients of the watched literals
    - voc
```
ILits voc
```
      Vocabulary of the constraint
Package org.sat4j.minisat.constraints.cnf
- Class org.sat4j.minisat.constraints.cnf.BinaryClause extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
    - voc
```
ILits voc
```
    - head
```
int head
```
    - tail
```
int tail
```
- Class org.sat4j.minisat.constraints.cnf.HTClause extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
    - middleLits
```
int[] middleLits
```
    - voc
```
ILits voc
```
    - head
```
int head
```
    - tail
```
int tail
```
- Class org.sat4j.minisat.constraints.cnf.LearntBinaryClause extends BinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.LearntHTClause extends HTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.LearntWLClause extends WLClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.Lits extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - pool
```
boolean[] pool
```
    - realnVars
```
int realnVars
```
    - watches
```
IVec<T>[] watches
```
    - level
```
int[] level
```
    - reason
```
Constr[] reason
```
    - maxvarid
```
int maxvarid
```
    - undos
```
IVec<T>[] undos
```
    - falsified
```
boolean[] falsified
```
- Class org.sat4j.minisat.constraints.cnf.OriginalBinaryClause extends BinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.OriginalHTClause extends HTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.OriginalWLClause extends WLClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.constraints.cnf.WLClause extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      Since:
      
      2.1
    - lits
```
int[] lits
```
    - voc
```
ILits voc
```
Package org.sat4j.minisat.core
- Class org.sat4j.minisat.core.ActivityComparator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.core.CircularBuffer extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - values
```
int[] values
```
    - index
```
int index
```
    - sum
```
long sum
```
    - full
```
boolean full
```
- Class org.sat4j.minisat.core.ConflictTimerAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - bound
```
int bound
```
- Class org.sat4j.minisat.core.ConflictTimerContainer extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - timers
```
IVec<T> timers
```
- Class org.sat4j.minisat.core.Heap extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - heap
```
IVecInt heap
```
    - indices
```
IVecInt indices
```
    - activity
```
double[] activity
```
- Class org.sat4j.minisat.core.IntQueue extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - myarray
```
int[] myarray
```
    - size
```
int size
```
    - first
```
int first
```
- Class org.sat4j.minisat.core.Pair extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - backtrackLevel
```
int backtrackLevel
```
    - reason
```
Constr reason
```
- Class org.sat4j.minisat.core.SearchParams extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - claDecay
```
double claDecay
```
    - varDecay
```
double varDecay
```
    - conflictBoundIncFactor
```
double conflictBoundIncFactor
```
    - initConflictBound
```
int initConflictBound
```
- Class org.sat4j.minisat.core.Solver extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - out
```
ILogAble out
```
    - constrs
```
IVec<T> constrs
```
      Set of original constraints.
    - learnts
```
IVec<T> learnts
```
      Set of learned constraints.
    - claInc
```
double claInc
```
      Increment for clause activity.
    - claDecay
```
double claDecay
```
      decay factor pour l'activit? des clauses.
    - qhead
```
int qhead
```
      propagation queue
    - trail
```
IVecInt trail
```
      variable assignments (literals) in chronological order.
    - trailLim
```
IVecInt trailLim
```
      position of the decision levels on the trail.
    - rootLevel
```
int rootLevel
```
      position of assumptions before starting the search.
    - model
```
int[] model
```
    - voc
```
ILits voc
```
    - order
```
IOrder order
```
    - comparator
```
ActivityComparator comparator
```
    - stats
```
SolverStats stats
```
    - learner
```
LearningStrategy<D extends DataStructureFactory> learner
```
    - undertimeout
```
boolean undertimeout
```
    - timeout
```
long timeout
```
    - timeBasedTimeout
```
boolean timeBasedTimeout
```
    - dsfactory
```
DataStructureFactory dsfactory
```
    - params
```
SearchParams params
```
    - __dimacs_out
```
IVecInt __dimacs_out
```
    - slistener
```
SearchListener<S extends ISolverService> slistener
```
    - restarter
```
RestartStrategy restarter
```
    - constrTypes
```
Map<K,V> constrTypes
```
    - isDBSimplificationAllowed
```
boolean isDBSimplificationAllowed
```
    - learnedLiterals
```
IVecInt learnedLiterals
```
    - verbose
```
boolean verbose
```
    - keepHot
```
boolean keepHot
```
    - prefix
```
String prefix
```
    - declaredMaxVarId
```
int declaredMaxVarId
```
    - mseen
```
boolean[] mseen
```
    - mpreason
```
IVecInt mpreason
```
    - moutLearnt
```
IVecInt moutLearnt
```
    - SIMPLE_SIMPLIFICATION
```
ISimplifier SIMPLE_SIMPLIFICATION
```
    - EXPENSIVE_SIMPLIFICATION
```
ISimplifier EXPENSIVE_SIMPLIFICATION
```
    - EXPENSIVE_SIMPLIFICATION_WLONLY
```
ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY
```
    - simplifier
```
ISimplifier simplifier
```
    - analyzetoclear
```
IVecInt analyzetoclear
```
    - analyzestack
```
IVecInt analyzestack
```
    - watched
```
IVec<T> watched
```
    - analysisResult
```
Pair analysisResult
```
    - userbooleanmodel
```
boolean[] userbooleanmodel
```
    - unsatExplanationInTermsOfAssumptions
```
IVecInt unsatExplanationInTermsOfAssumptions
```
    - implied
```
IVecInt implied
```
    - decisions
```
IVecInt decisions
```
    - fullmodel
```
int[] fullmodel
```
    - prime
```
int[] prime
```
    - timebegin
```
double timebegin
```
    - needToReduceDB
```
boolean needToReduceDB
```
    - conflictCount
```
ConflictTimerContainer conflictCount
```
    - memoryTimer
```
ConflictTimer memoryTimer
```
    - memory_based
```
LearnedConstraintsDeletionStrategy memory_based
```
      Since:
      
      2.1
    - lbdTimer
```
ConflictTimer lbdTimer
```
    - glucose
```
LearnedConstraintsDeletionStrategy glucose
```
      Since:
      
      2.1
    - learnedConstraintsDeletionStrategy
```
LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy
```
    - lastConflictMeansUnsat
```
boolean lastConflictMeansUnsat
```
    - sharedConflict
```
Constr sharedConflict
```
- Class org.sat4j.minisat.core.SolverStats extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - starts
```
int starts
```
    - decisions
```
long decisions
```
    - propagations
```
long propagations
```
    - inspects
```
long inspects
```
    - conflicts
```
long conflicts
```
    - learnedliterals
```
long learnedliterals
```
    - learnedbinaryclauses
```
long learnedbinaryclauses
```
    - learnedternaryclauses
```
long learnedternaryclauses
```
    - learnedclauses
```
long learnedclauses
```
    - ignoredclauses
```
long ignoredclauses
```
    - rootSimplifications
```
long rootSimplifications
```
    - reducedliterals
```
long reducedliterals
```
    - changedreason
```
long changedreason
```
    - reduceddb
```
int reduceddb
```
    - shortcuts
```
int shortcuts
```
    - updateLBD
```
long updateLBD
```
Package org.sat4j.minisat.learning
- Class org.sat4j.minisat.learning.ActiveLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - percent
```
double percent
```
    - order
```
IOrder order
```
    - maxpercent
```
int maxpercent
```
- Class org.sat4j.minisat.learning.ClauseOnlyLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.learning.FixedLengthLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - maxlength
```
int maxlength
```
    - bound
```
int bound
```
- Class org.sat4j.minisat.learning.LimitedLearning extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - none
```
NoLearningButHeuristics<D extends DataStructureFactory> none
```
    - all
```
MiniSATLearning<D extends DataStructureFactory> all
```
    - lits
```
ILits lits
```
    - stats
```
SolverStats stats
```
- Class org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - dsf
```
DataStructureFactory dsf
```
- Class org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.learning.PercentLengthLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - maxpercent
```
int maxpercent
```
    - bound
```
int bound
```
Package org.sat4j.minisat.orders
- Class org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.PureOrder extends VarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - period
```
int period
```
    - cpt
```
int cpt
```
- Class org.sat4j.minisat.orders.RandomLiteralSelectionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.RandomWalkDecorator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - decorated
```
VarOrderHeap decorated
```
    - p
```
double p
```
    - voc
```
ILits voc
```
    - nbRandomWalks
```
int nbRandomWalks
```
- Class org.sat4j.minisat.orders.RSATLastLearnedClausesPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.RSATPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.SubsetVarOrder extends VarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - varsToTest
```
int[] varsToTest
```
- Class org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.minisat.orders.VarOrderHeap extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double[] activity
```
      mesure heuristique de l'activite d'une variable.
    - varDecay
```
double varDecay
```
    - varInc
```
double varInc
```
      increment pour l'activite des variables.
    - lits
```
ILits lits
```
    - nullchoice
```
long nullchoice
```
    - heap
```
Heap heap
```
    - phaseStrategy
```
IPhaseSelectionStrategy phaseStrategy
```
Package org.sat4j.minisat.restarts
- Class org.sat4j.minisat.restarts.ArminRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - inner
```
double inner
```
    - outer
```
double outer
```
    - conflicts
```
long conflicts
```
    - params
```
SearchParams params
```
    - conflictcount
```
long conflictcount
```
- Class org.sat4j.minisat.restarts.FixedPeriodRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - conflictCount
```
long conflictCount
```
    - period
```
long period
```
- Class org.sat4j.minisat.restarts.Glucose21Restarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bufferLBD
```
CircularBuffer bufferLBD
```
    - bufferTrail
```
CircularBuffer bufferTrail
```
    - sumOfAllLBD
```
long sumOfAllLBD
```
    - stats
```
SolverStats stats
```
- Class org.sat4j.minisat.restarts.LubyRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - un
```
int un
```
    - vn
```
int vn
```
    - factor
```
int factor
```
    - bound
```
int bound
```
    - conflictcount
```
int conflictcount
```
- Class org.sat4j.minisat.restarts.MiniSATRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nofConflicts
```
double nofConflicts
```
    - params
```
SearchParams params
```
    - conflictcount
```
int conflictcount
```
- Class org.sat4j.minisat.restarts.NoRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.opt
- Class org.sat4j.opt.AbstractSelectorVariablesDecorator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbexpectedclauses
```
int nbexpectedclauses
```
    - prevfullmodel
```
int[] prevfullmodel
```
    - prevmodel
```
int[] prevmodel
```
      Since:
      
      2.1
    - prevboolmodel
```
boolean[] prevboolmodel
```
      Since:
      
      2.1
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
- Class org.sat4j.opt.MaxSatDecorator extends AbstractSelectorVariablesDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - equivalence
```
boolean equivalence
```
    - lits
```
IVecInt lits
```
    - counter
```
int counter
```
    - prevConstr
```
IConstr prevConstr
```
- Class org.sat4j.opt.MinOneDecorator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - prevmodel
```
int[] prevmodel
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
    - counter
```
int counter
```
    - literals
```
IVecInt literals
```
    - previousConstr
```
IConstr previousConstr
```
Package org.sat4j.reader
- Class org.sat4j.reader.DimacsReader extends Reader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - expectedNbOfConstr
```
int expectedNbOfConstr
```
    - solver
```
ISolver solver
```
    - checkConstrNb
```
boolean checkConstrNb
```
    - formatString
```
String formatString
```
    - scanner
```
EfficientScanner scanner
```
      Since:
      
      2.1
    - literals
```
IVecInt literals
```
      Since:
      
      2.1
- Class org.sat4j.reader.EfficientScanner extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - commentChar
```
char commentChar
```
- Class org.sat4j.reader.GroupedCNFReader extends DimacsReader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - numberOfComponents
```
int numberOfComponents
```
    - groupSolver
```
IGroupSolver groupSolver
```
    - currentComponentIndex
```
int currentComponentIndex
```
- Class org.sat4j.reader.LecteurDimacs extends Reader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - s
```
ISolver s
```
    - nbVars
```
int nbVars
```
    - nbClauses
```
int nbClauses
```
- Class org.sat4j.reader.ParseFormatException extends Exception implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.specs
- Class org.sat4j.specs.ContradictionException extends Exception implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.specs.TimeoutException extends Exception implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.tools
- Class org.sat4j.tools.AbstractClauseSelectorSolver extends SolverDecorator<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lastCreatedVar
```
int lastCreatedVar
```
    - pooledVarId
```
boolean pooledVarId
```
    - external
```
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState external
```
    - internal
```
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState internal
```
    - selectedState
```
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState selectedState
```
- Class org.sat4j.tools.AbstractMinimalModel extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - pLiterals
```
IVecInt pLiterals
```
    - modelListener
```
SolutionFoundListener modelListener
```
- Class org.sat4j.tools.AbstractOutputSolver extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbvars
```
int nbvars
```
    - nbclauses
```
int nbclauses
```
    - fixedNbClauses
```
boolean fixedNbClauses
```
    - firstConstr
```
boolean firstConstr
```
- Class org.sat4j.tools.ClausalCardinalitiesDecorator extends SolverDecorator<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - encodingAdapter
```
EncodingStrategyAdapter encodingAdapter
```
- Class org.sat4j.tools.ConflictDepthTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - nVar
```
int nVar
```
    - conflictDepthVisu
```
IVisualizationTool conflictDepthVisu
```
    - conflictDepthRestartVisu
```
IVisualizationTool conflictDepthRestartVisu
```
    - conflictDepthCleanVisu
```
IVisualizationTool conflictDepthCleanVisu
```
- Class org.sat4j.tools.ConflictLevelTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - nVar
```
int nVar
```
    - maxDLevel
```
int maxDLevel
```
    - visuTool
```
IVisualizationTool visuTool
```
    - restartVisuTool
```
IVisualizationTool restartVisuTool
```
    - cleanTool
```
IVisualizationTool cleanTool
```
- Class org.sat4j.tools.DecisionLevelTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - visuTool
```
IVisualizationTool visuTool
```
- Class org.sat4j.tools.DecisionTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - counter
```
int counter
```
    - positiveVisu
```
IVisualizationTool positiveVisu
```
    - negativeVisu
```
IVisualizationTool negativeVisu
```
    - restartVisu
```
IVisualizationTool restartVisu
```
    - cleanVisu
```
IVisualizationTool cleanVisu
```
    - nVar
```
int nVar
```
- Class org.sat4j.tools.DimacsArrayReader extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
ISolver solver
```
- Class org.sat4j.tools.DimacsOutputSolver extends AbstractOutputSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream stream)
```
- Class org.sat4j.tools.DimacsStringSolver extends AbstractOutputSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - out
```
StringBuffer out
```
    - firstCharPos
```
int firstCharPos
```
    - initBuilderSize
```
int initBuilderSize
```
    - maxvarid
```
int maxvarid
```
- Class org.sat4j.tools.DotSearchTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream stream)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - pile
```
Vec<T> pile
```
    - currentNodeName
```
String currentNodeName
```
    - estOrange
```
boolean estOrange
```
    - mapping
```
Map<K,V> mapping
```
- Class org.sat4j.tools.ExtendedDimacsArrayReader extends DimacsArrayReader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - gater
```
GateTranslator gater
```
- Class org.sat4j.tools.FileBasedVisualizationTool extends Object implements Serializable
  - Serialized Fields
    - filename
```
String filename
```
    - out
```
PrintStream out
```
- Class org.sat4j.tools.FullClauseSelectorSolver extends AbstractClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - constrs
```
Map<K,V> constrs
```
    - lastClause
```
IVecInt lastClause
```
    - lastConstr
```
IConstr lastConstr
```
    - skipDuplicatedEntries
```
boolean skipDuplicatedEntries
```
- Class org.sat4j.tools.GateTranslator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.GroupClauseSelectorSolver extends AbstractClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - varToHighLevel
```
Map<K,V> varToHighLevel
```
    - highLevelToVar
```
Map<K,V> highLevelToVar
```
- Class org.sat4j.tools.HeuristicsTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - visuTool
```
IVisualizationTool visuTool
```
- Class org.sat4j.tools.LBDTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - counter
```
int counter
```
- Class org.sat4j.tools.LearnedClauseSizeTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - counter
```
int counter
```
- Class org.sat4j.tools.LearnedClausesSizeTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - restartTool
```
IVisualizationTool restartTool
```
    - cleanTool
```
IVisualizationTool cleanTool
```
    - counter
```
int counter
```
    - maxSize
```
int maxSize
```
- Class org.sat4j.tools.LearnedTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - visuTool
```
IVisualizationTool visuTool
```
- Class org.sat4j.tools.LexicoDecorator extends SolverDecorator<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - criteria
```
List<E> criteria
```
    - currentCriterion
```
int currentCriterion
```
    - prevConstr
```
IConstr prevConstr
```
    - currentValue
```
Number currentValue
```
    - prevfullmodel
```
int[] prevfullmodel
```
    - prevboolmodel
```
boolean[] prevboolmodel
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
- Class org.sat4j.tools.ManyCore extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - availableSolvers
```
String[] availableSolvers
```
    - solvers
```
List<E> solvers
```
    - numberOfSolvers
```
int numberOfSolvers
```
    - winnerId
```
int winnerId
```
    - resultFound
```
boolean resultFound
```
    - remainingSolvers
```
AtomicInteger remainingSolvers
```
    - sleepTime
```
int sleepTime
```
    - solved
```
boolean solved
```
    - solversStats
```
IVec<T> solversStats
```
- Class org.sat4j.tools.Minimal4CardinalityModel extends AbstractMinimalModel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - prevfullmodel
```
int[] prevfullmodel
```
- Class org.sat4j.tools.Minimal4InclusionModel extends AbstractMinimalModel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - prevfullmodel
```
int[] prevfullmodel
```
- Class org.sat4j.tools.ModelIterator extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - trivialfalsity
```
boolean trivialfalsity
```
    - bound
```
long bound
```
    - nbModelFound
```
long nbModelFound
```
- Class org.sat4j.tools.ModelIteratorToSATAdapter extends ModelIterator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lastModel
```
int[] lastModel
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.tools.MultiTracing extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - listeners
```
Collection<E> listeners
```
- Class org.sat4j.tools.NegationDecorator extends AbstractClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - addedVars
```
Collection<E> addedVars
```
- Class org.sat4j.tools.OptToSatAdapter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - problem
```
IOptimizationProblem problem
```
    - modelComputed
```
boolean modelComputed
```
    - optimalValueForced
```
boolean optimalValueForced
```
- Class org.sat4j.tools.SearchEnumeratorListener extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - nbsolutions
```
int nbsolutions
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.tools.SearchListenerAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.SearchMinOneListener extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
ISolverService solverService
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.tools.SingleSolutionDetector extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.SolutionCounter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lowerBound
```
int lowerBound
```
- Class org.sat4j.tools.SolverDecorator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
ISolver solver
```
- Class org.sat4j.tools.SpeedTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visuTool
```
IVisualizationTool visuTool
```
    - cleanVisuTool
```
IVisualizationTool cleanVisuTool
```
    - restartVisuTool
```
IVisualizationTool restartVisuTool
```
    - begin
```
long begin
```
    - end
```
long end
```
    - counter
```
int counter
```
    - index
```
long index
```
    - maxY
```
double maxY
```
- Class org.sat4j.tools.StatisticsSolver extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - expectedNumberOfConstraints
```
int expectedNumberOfConstraints
```
      Number of constraints in the problem
    - nbvars
```
int nbvars
```
      Number of declared vars (max var id)
    - sizeoccurrences
```
IVecInt[] sizeoccurrences
```
      Size of the constraints for each occurrence of each var for each polarity
    - allpositive
```
int allpositive
```
    - allnegative
```
int allnegative
```
    - horn
```
int horn
```
    - dualhorn
```
int dualhorn
```
    - sizes
```
Map<K,V> sizes
```
      Distribution of clauses size
- Class org.sat4j.tools.TextOutputTracing extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - mapping
```
Map<K,V> mapping
```
Package org.sat4j.tools.encoding
- Class org.sat4j.tools.encoding.Binary extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Binomial extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Commander extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.EncodingStrategyAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Ladder extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Policy extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - seq
```
Sequential seq
```
    - binary
```
Binary binary
```
    - product
```
Product product
```
    - commander
```
Commander commander
```
    - binomial
```
Binomial binomial
```
    - ladder
```
Ladder ladder
```
    - atMostOneEncoding
```
EncodingStrategyAdapter atMostOneEncoding
```
    - atMostKEncoding
```
EncodingStrategyAdapter atMostKEncoding
```
    - exactlyOneEncoding
```
EncodingStrategyAdapter exactlyOneEncoding
```
    - exactlyKEncoding
```
EncodingStrategyAdapter exactlyKEncoding
```
    - atLeastOneEncoding
```
EncodingStrategyAdapter atLeastOneEncoding
```
    - atLeastKEncoding
```
EncodingStrategyAdapter atLeastKEncoding
```
- Class org.sat4j.tools.encoding.Product extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.tools.encoding.Sequential extends EncodingStrategyAdapter implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.tools.xplain
- Class org.sat4j.tools.xplain.DeletionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.HighLevelXplain extends GroupClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - assump
```
IVecInt assump
```
    - xplainStrategy
```
MinimizationStrategy xplainStrategy
```
- Class org.sat4j.tools.xplain.InsertionStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.QuickXplain2001Strategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.QuickXplainStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - computationCanceled
```
boolean computationCanceled
```
- Class org.sat4j.tools.xplain.Xplain extends FullClauseSelectorSolver<T extends ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - assump
```
IVecInt assump
```
    - xplainStrategy
```
MinimizationStrategy xplainStrategy
```

Serialized Form

Package org.sat4j

Class org.sat4j.AbstractLauncher extends Object implements Serializable

Serialization Methods

readObject

Serialized Fields

beginTime

exitCode

reader

displaySolutionLine

solver

problem

silent

prime

launcherMode

Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable

Serialized Fields

incomplete

displaySolutionLine

Class org.sat4j.BasicLauncher extends AbstractLauncher implements Serializable

Serialized Fields

factory

Class org.sat4j.LightFactory extends ASolverFactory<ISolver> implements Serializable

Class org.sat4j.MUSLauncher extends AbstractLauncher implements Serializable

Serialized Fields

mus

xplain

highLevel

allMuses

muscount

Package org.sat4j.core

Class org.sat4j.core.ASolverFactory extends Object implements Serializable

Class org.sat4j.core.DefaultComparator extends Object implements Serializable

Class org.sat4j.core.ReadOnlyVec extends Object implements Serializable

Serialized Fields

vec

Class org.sat4j.core.ReadOnlyVecInt extends Object implements Serializable

Serialized Fields

vec

Class org.sat4j.core.Vec extends Object implements Serializable

Serialized Fields

nbelem

myarray

Class org.sat4j.core.VecInt extends Object implements Serializable

Serialized Fields

nbelem

myarray

Package org.sat4j.minisat

Class org.sat4j.minisat.SolverFactory extends ASolverFactory<ISolver> implements Serializable

Package org.sat4j.minisat.constraints

Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends Object implements Serializable

Serialized Fields

lits

tmp

solver

learner

Class org.sat4j.minisat.constraints.CardinalityDataStructure extends AbstractCardinalityDataStructure implements Serializable

Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends AbstractCardinalityDataStructure implements Serializable

Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends AbstractCardinalityDataStructure implements Serializable

Class org.sat4j.minisat.constraints.ClausalDataStructureWL extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.MixedDataStructureSingleWL extends AbstractDataStructureFactory implements Serializable

Package org.sat4j.minisat.constraints.card

Class org.sat4j.minisat.constraints.card.AtLeast extends Object implements Serializable

Serialized Fields

maxUnsatisfied

counter

lits

voc

Class org.sat4j.minisat.constraints.card.MaxWatchCard extends Object implements Serializable

Serialized Fields

degree

lits

moreThan

watchCumul

voc

Class org.sat4j.minisat.constraints.card.MinWatchCard extends Object implements Serializable

Serialized Fields