Serialized Form (SAT4J pseudo 2.3.6 API)

Package org.sat4j.pb
- Class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - previousPBConstr
```
IConstr previousPBConstr
```
    - addedConstr
```
IConstr addedConstr
```
    - objectiveValue
```
Number objectiveValue
```
    - optimumFound
```
boolean optimumFound
```
- Class org.sat4j.pb.GroupPBSelectorSolver extends GroupClauseSelectorSolver<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.LanceurPseudo2005 extends AbstractLauncher implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - factory
```
ASolverFactory<T extends ISolver> factory
```
    - obfct
```
ObjectiveFunction obfct
```
- Class org.sat4j.pb.LanceurPseudo2007 extends LanceurPseudo2005 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - handle
```
PBSolverHandle handle
```
- Class org.sat4j.pb.LanceurPseudo2007Eclipse extends LanceurPseudo2007 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - quickxplain
```
XplainPB quickxplain
```
- Class org.sat4j.pb.LPStringSolver extends DimacsStringSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - indxConstrObj
```
int indxConstrObj
```
    - nbOfConstraints
```
int nbOfConstraints
```
    - obj
```
ObjectiveFunction obj
```
    - inserted
```
boolean inserted
```
- Class org.sat4j.pb.ObjectiveFunction extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - coeffs
```
IVec<T> coeffs
```
    - vars
```
IVecInt vars
```
    - correction
```
BigInteger correction
```
    - correctionFactor
```
BigInteger correctionFactor
```
- Class org.sat4j.pb.ObjectiveFunctionComparator extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - obj
```
Map<K,V> obj
```
- Class org.sat4j.pb.OPBStringSolver extends DimacsStringSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - indxConstrObj
```
int indxConstrObj
```
    - nbOfConstraints
```
int nbOfConstraints
```
    - obj
```
ObjectiveFunction obj
```
    - inserted
```
boolean inserted
```
- Class org.sat4j.pb.OptToPBSATAdapter extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - problem
```
IOptimizationProblem problem
```
    - assumps
```
IVecInt assumps
```
    - begin
```
long begin
```
    - sfl
```
SolutionFoundListener sfl
```
- Class org.sat4j.pb.PBSolverDecorator extends SolverDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.PBSolverHandle extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.PBTimeoutIsolator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.PseudoIteratorDecorator extends PseudoOptDecorator implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.PseudoOptDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objectiveValue
```
BigInteger objectiveValue
```
    - prevmodel
```
int[] prevmodel
```
    - prevmodelwithadditionalvars
```
int[] prevmodelwithadditionalvars
```
    - prevfullmodel
```
boolean[] prevfullmodel
```
    - prevModelBlockingClause
```
IVecInt prevModelBlockingClause
```
    - previousPBConstr
```
IConstr previousPBConstr
```
    - isSolutionOptimal
```
boolean isSolutionOptimal
```
    - nonOptimalMeansSatisfiable
```
boolean nonOptimalMeansSatisfiable
```
    - useAnImplicantForEvaluation
```
boolean useAnImplicantForEvaluation
```
    - solverTimeout
```
int solverTimeout
```
    - optimizationTimeout
```
int optimizationTimeout
```
- Class org.sat4j.pb.SolverFactory extends ASolverFactory<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.UserFriendlyPBStringSolver extends DimacsStringSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - indxConstrObj
```
int indxConstrObj
```
    - nbOfConstraints
```
int nbOfConstraints
```
    - obj
```
ObjectiveFunction obj
```
    - inserted
```
boolean inserted
```
    - mapping
```
Map<K,V> mapping
```
Package org.sat4j.pb.constraints
- Class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - ipbc
```
IPBConstructor ipbc
```
    - icardc
```
ICardConstructor icardc
```
    - iclausec
```
IClauseConstructor iclausec
```
- Class org.sat4j.pb.constraints.AbstractPBDataStructureFactory extends AbstractDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - norm
```
org.sat4j.pb.constraints.AbstractPBDataStructureFactory.INormalizer norm
```
- Class org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBLongMaxClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBLongMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMaxDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PBMinDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.PuebloPBMinDataStructure extends AbstractPBDataStructureFactory implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.pb.constraints.pb
- Class org.sat4j.pb.constraints.pb.AtLeastPB extends AtLeast implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - degree
```
BigInteger degree
```
    - learnt
```
boolean learnt
```
- Class org.sat4j.pb.constraints.pb.LearntBinaryClausePB extends LearntBinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.LearntHTClausePB extends LearntHTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.MaxWatchPb extends WatchPb implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
BigInteger watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - litToCoeffs
```
Map<K,V> litToCoeffs
```
- Class org.sat4j.pb.constraints.pb.MaxWatchPbLong extends WatchPbLong implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - litToCoeffs
```
Map<K,V> litToCoeffs
```
- Class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP extends WatchPbLongCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - litToCoeffs
```
Map<K,V> litToCoeffs
```
- Class org.sat4j.pb.constraints.pb.MinWatchCardPB extends MinWatchCard implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bigDegree
```
BigInteger bigDegree
```
    - learnt
```
boolean learnt
```
- Class org.sat4j.pb.constraints.pb.MinWatchPb extends WatchPb implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
BigInteger watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - watched
```
boolean[] watched
```
      is the literal of index i watching the constraint ?
    - watching
```
int[] watching
```
      indexes of literals watching the constraint
    - watchingCount
```
int watchingCount
```
      number of literals watching the constraint. This is the real size of the array watching
- Class org.sat4j.pb.constraints.pb.MinWatchPbLong extends WatchPbLong implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - watched
```
boolean[] watched
```
      is the literal of index i watching the constraint ?
    - watching
```
int[] watching
```
      indexes of literals watching the constraint
    - watchingCount
```
int watchingCount
```
      number of literals watching the constraint. This is the real size of the array watching
- Class org.sat4j.pb.constraints.pb.MinWatchPbLongCP extends WatchPbLongCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - watchCumul
```
long watchCumul
```
      sum of the coefficients of the literals satisfied or unvalued
    - watched
```
boolean[] watched
```
      is the literal of index i watching the constraint ?
    - watching
```
int[] watching
```
      indexes of literals watching the constraint
    - watchingCount
```
int watchingCount
```
      number of literals watching the constraint. This is the real size of the array watching
- Class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB extends OriginalBinaryClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.OriginalHTClausePB extends OriginalHTClause implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.PuebloMinWatchPb extends MinWatchPb implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.constraints.pb.WatchPb extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      constraint activity
    - coefs
```
BigInteger[] coefs
```
      coefficients of the literals of the constraint
    - sumcoefs
```
BigInteger sumcoefs
```
    - degree
```
BigInteger degree
```
      degree of the pseudo-boolean constraint
    - lits
```
int[] lits
```
      literals of the constraint
    - learnt
```
boolean learnt
```
      true if the constraint is a learned constraint
    - voc
```
ILits voc
```
      constraint's vocabulary
- Class org.sat4j.pb.constraints.pb.WatchPbLong extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      constraint activity
    - coefs
```
long[] coefs
```
      coefficients of the literals of the constraint
    - sumcoefs
```
long sumcoefs
```
    - degree
```
long degree
```
      degree of the pseudo-boolean constraint
    - lits
```
int[] lits
```
      literals of the constraint
    - learnt
```
boolean learnt
```
      true if the constraint is a learned constraint
    - voc
```
ILits voc
```
      constraint's vocabulary
    - levelBased
```
Comparator<T> levelBased
```
- Class org.sat4j.pb.constraints.pb.WatchPbLongCP extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - activity
```
double activity
```
      constraint activity
    - bigCoefs
```
BigInteger[] bigCoefs
```
      coefficients of the literals of the constraint
    - bigDegree
```
BigInteger bigDegree
```
      degree of the pseudo-boolean constraint
    - coefs
```
long[] coefs
```
      coefficients of the literals of the constraint
    - sumcoefs
```
long sumcoefs
```
    - degree
```
long degree
```
      degree of the pseudo-boolean constraint
    - lits
```
int[] lits
```
      literals of the constraint
    - learnt
```
boolean learnt
```
      true if the constraint is a learned constraint
    - voc
```
ILits voc
```
      constraint's vocabulary
Package org.sat4j.pb.core
- Class org.sat4j.pb.core.IntegerPBSolverDecorator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - decorated
```
IPBSolver decorated
```
- Class org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator extends Object implements Serializable
  
  serialVersionUID:
  
  -1637773414229087105L
  - Serialized Fields
    - decorated
```
IPBSolver decorated
```
    - atMostOneCstrs
```
List<E> atMostOneCstrs
```
- Class org.sat4j.pb.core.PBSolver extends Solver<PBDataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objf
```
ObjectiveFunction objf
```
    - pbStats
```
PBSolverStats pbStats
```
    - objectiveFunctionBased
```
LearnedConstraintsDeletionStrategy objectiveFunctionBased
```
      Since:
      
      2.1
- Class org.sat4j.pb.core.PBSolverCautious extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverClause extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCP extends PBSolver implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - noRemove
```
boolean noRemove
```
      removing or not satisfied literals at a higher level before cutting planes.
    - skipAllow
```
SkipStrategy skipAllow
```
      skipping as much as possible avoidable cutting planes during analysis conflict
    - conflictFactory
```
IConflictFactory conflictFactory
```
    - preprocess
```
IPreProcess preprocess
```
    - postprocess
```
IPostProcess postprocess
```
    - weakeningStrategy
```
IWeakeningStrategy weakeningStrategy
```
    - autoDivisionStrategy
```
AutoDivisionStrategy autoDivisionStrategy
```
    - bumpStrategy
```
BumpStrategy bumpStrategy
```
    - bumper
```
IBumper bumper
```
    - conflictVariables
```
IVec<T> conflictVariables
```
    - conflictConstraints
```
IVec<T> conflictConstraints
```
- Class org.sat4j.pb.core.PBSolverCPCardLearning extends PBSolverCPLong implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPClauseLearning extends PBSolverCPLong implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPLong extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPLongDivideBy2 extends PBSolverCPLong implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPLongDivideByGCD extends PBSolverCPLong implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPLongReduceToCard extends PBSolverCPLong implements Serializable
- Class org.sat4j.pb.core.PBSolverCPLongRounding extends PBSolverCPLong implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPReduceByGCD extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverCPReduceByPowersOf2 extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverResCP extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bound
```
long bound
```
- Class org.sat4j.pb.core.PBSolverResolution extends PBSolver implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.core.PBSolverStats extends SolverStats implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - numberOfReductions
```
long numberOfReductions
```
    - numberOfReductionsByPower2
```
long numberOfReductionsByPower2
```
    - numberOfRightShiftsForCoeffs
```
long numberOfRightShiftsForCoeffs
```
    - numberOfReductionsByGCD
```
long numberOfReductionsByGCD
```
    - numberOfLearnedConstraintsReduced
```
long numberOfLearnedConstraintsReduced
```
    - numberOfResolution
```
long numberOfResolution
```
    - numberOfCP
```
long numberOfCP
```
    - numberOfRoundingOperations
```
long numberOfRoundingOperations
```
    - numberOfEasyRoundingOperations
```
long numberOfEasyRoundingOperations
```
    - numberOfEndingSkipping
```
long numberOfEndingSkipping
```
    - numberOfInternalSkipping
```
long numberOfInternalSkipping
```
    - numberOfDerivationSteps
```
long numberOfDerivationSteps
```
    - numberOfRemainingUnassigned
```
long numberOfRemainingUnassigned
```
    - numberOfRemainingAssigned
```
long numberOfRemainingAssigned
```
    - falsifiedLiteralsRemovedFromConflict
```
long falsifiedLiteralsRemovedFromConflict
```
    - falsifiedLiteralsRemovedFromReason
```
long falsifiedLiteralsRemovedFromReason
```
    - timeForArtithmeticOperations
```
long timeForArtithmeticOperations
```
    - minRemoved
```
BigInteger minRemoved
```
    - maxRemoved
```
BigInteger maxRemoved
```
    - nbRemoved
```
int nbRemoved
```
- Class org.sat4j.pb.core.PBSolverWithImpliedClause extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.pb.lcds
- Class org.sat4j.pb.lcds.NullLCDS extends Object implements Serializable
  - Serialized Fields
    - decorated
```
LearnedConstraintsDeletionStrategy decorated
```
- Class org.sat4j.pb.lcds.PBActivityLCDS extends ActivityLCDS implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.lcds.PBGlucoseLCDS extends Glucose2LCDS<D extends DataStructureFactory> implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.pb.multiobjective
- Class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer extends PseudoOptDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - initConstraintsSet
```
boolean initConstraintsSet
```
    - integerSolver
```
IIntegerPBSolver integerSolver
```
- Class org.sat4j.pb.multiobjective.LeximinDecorator extends LexicoDecoratorPB implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - initObjs
```
List<E> initObjs
```
    - initDone
```
boolean initDone
```
    - objBoundVariables
```
List<E> objBoundVariables
```
    - integerSolver
```
IIntegerPBSolver integerSolver
```
    - atLeastFlags
```
List<E> atLeastFlags
```
- Class org.sat4j.pb.multiobjective.MinSumOWAOptimizer extends AbstractLinMultiObjOptimizer implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - weights
```
BigInteger[] weights
```
    - objBoundVar
```
IntegerVariable objBoundVar
```
- Class org.sat4j.pb.multiobjective.OrderedObjsOWAOptimizer extends AbstractLinMultiObjOptimizer implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objBoundVariables
```
List<E> objBoundVariables
```
    - atLeastFlags
```
List<E> atLeastFlags
```
    - weights
```
BigInteger[] weights
```
    - sumObj
```
ObjectiveFunction sumObj
```
    - lexObj
```
ObjectiveFunction lexObj
```
    - lexCstr
```
IConstr lexCstr
```
    - sumCstr
```
IConstr sumCstr
```
- Class org.sat4j.pb.multiobjective.SumLeximinDecompositionOWAOptimizer extends Object implements Serializable
  - Serialized Fields
    - objs
```
List<E> objs
```
    - weights
```
BigInteger[] weights
```
    - solver
```
IIntegerPBSolver solver
```
    - objBoundVariables
```
List<E> objBoundVariables
```
    - atLeastFlags
```
List<E> atLeastFlags
```
    - initDone
```
boolean initDone
```
    - sumLexStepDone
```
boolean sumLexStepDone
```
    - lexObj
```
ObjectiveFunction lexObj
```
    - sumObj
```
ObjectiveFunction sumObj
```
    - owaObj
```
ObjectiveFunction owaObj
```
    - additionnalCstr
```
IConstr additionnalCstr
```
    - bestValue
```
BigInteger bestValue
```
    - optPb
```
PseudoOptDecorator optPb
```
    - lastModel
```
int[] lastModel
```
    - lastModelWithInternalVars
```
int[] lastModelWithInternalVars
```
Package org.sat4j.pb.orders
- Class org.sat4j.pb.orders.LevelBasedVarOrderHeapObjective extends LevelBasedVarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - obj
```
ObjectiveFunction obj
```
- Class org.sat4j.pb.orders.RandomWalkDecoratorObjective extends RandomWalkDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objorder
```
IOrderObjective objorder
```
- Class org.sat4j.pb.orders.VarOrderHeapObjective extends VarOrderHeap implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - obj
```
ObjectiveFunction obj
```
Package org.sat4j.pb.reader
- Class org.sat4j.pb.reader.OPBEclipseReader2007 extends OPBReader2007 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - varExplain
```
IVecInt varExplain
```
- Class org.sat4j.pb.reader.OPBReader2005 extends Reader implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
IPBSolver solver
```
    - lits
```
IVecInt lits
```
    - coeffs
```
IVec<T> coeffs
```
    - d
```
BigInteger d
```
    - operator
```
String operator
```
    - objectiveVars
```
IVecInt objectiveVars
```
    - objectiveCoeffs
```
IVec<T> objectiveCoeffs
```
    - hasObjFunc
```
boolean hasObjFunc
```
    - hasVariablesExplanation
```
boolean hasVariablesExplanation
```
    - nbVars
```
int nbVars
```
    - nbConstr
```
int nbConstr
```
    - nbConstraintsRead
```
int nbConstraintsRead
```
    - savedChar
```
char savedChar
```
    - charAvailable
```
boolean charAvailable
```
    - eofReached
```
boolean eofReached
```
    - eolReached
```
boolean eolReached
```
    - mapping
```
Map<K,V> mapping
```
- Class org.sat4j.pb.reader.OPBReader2006 extends OPBReader2005 implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.reader.OPBReader2007 extends OPBReader2006 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nbNewSymbols
```
int nbNewSymbols
```
      contains the number of new symbols generated to linearize products
    - varToProduct
```
Map<K,V> varToProduct
```
    - binaryProductToVar
```
Map<K,V> binaryProductToVar
```
- Class org.sat4j.pb.reader.OPBReader2010 extends OPBReader2007 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - isWbo
```
boolean isWbo
```
    - softLimit
```
BigInteger softLimit
```
    - softConstraint
```
boolean softConstraint
```
- Class org.sat4j.pb.reader.OPBReader2012 extends OPBReader2010 implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - lexico
```
LexicoDecoratorPB lexico
```
Package org.sat4j.pb.restarts
- Class org.sat4j.pb.restarts.BigIntegerCircularBuffer extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - values
```
BigInteger[] values
```
    - index
```
int index
```
    - sum
```
BigInteger sum
```
    - full
```
boolean full
```
- Class org.sat4j.pb.restarts.GrowingCoefficientRestarts extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bufferDegrees
```
BigIntegerCircularBuffer bufferDegrees
```
    - bufferTrail
```
CircularBuffer bufferTrail
```
    - sumOfAllDegrees
```
BigInteger sumOfAllDegrees
```
    - stats
```
SolverStats stats
```
- Class org.sat4j.pb.restarts.MixedRestartsStrategy extends Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - strategies
```
List<E> strategies
```
Package org.sat4j.pb.tools
- Class org.sat4j.pb.tools.ClausalConstraintsDecorator extends ClausalCardinalitiesDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solver
```
IPBSolver solver
```
- Class org.sat4j.pb.tools.ConflictTracing extends SearchListenerAdapter<ISolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - filename
```
String filename
```
    - out
```
PrintStream out
```
    - index
```
long index
```
- Class org.sat4j.pb.tools.InprocCardConstrLearningSolver extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - coSolver
```
IPBSolver coSolver
```
    - cardFinder
```
CardConstrFinder cardFinder
```
    - extendedConstr
```
Constr extendedConstr
```
    - detectCardFromAllConstraintsInCflAnalysis
```
boolean detectCardFromAllConstraintsInCflAnalysis
```
- Class org.sat4j.pb.tools.LexicoDecoratorPB extends LexicoDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objs
```
List<E> objs
```
    - bigCurrentValue
```
BigInteger bigCurrentValue
```
- Class org.sat4j.pb.tools.ManyCoreIntegerPB extends ManyCorePB<S extends IIntegerPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.ManyCorePB extends ManyCore<S extends IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.OptimalModelIterator extends PBSolverDecorator implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - bound
```
long bound
```
    - nbModelFound
```
long nbModelFound
```
    - trivialfalsity
```
boolean trivialfalsity
```
    - isFirstModel
```
boolean isFirstModel
```
    - objectiveValue
```
BigInteger objectiveValue
```
    - solver
```
IPBSolver solver
```
- Class org.sat4j.pb.tools.PBAdapter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.PreprocCardConstrLearningSolver extends ManyCorePB<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - cardFinder
```
CardConstrFinder cardFinder
```
    - initDone
```
boolean initDone
```
    - preprocessing
```
boolean preprocessing
```
    - preprocessingTime
```
long preprocessingTime
```
    - preprocessingCardsFound
```
long preprocessingCardsFound
```
    - solverIndex
```
int solverIndex
```
    - maxAtMostDegree
```
int maxAtMostDegree
```
    - verbose
```
boolean verbose
```
    - objWeightsMap
```
Map<K,V> objWeightsMap
```
    - objMinBound
```
BigInteger objMinBound
```
    - outputCardsAndExit
```
boolean outputCardsAndExit
```
    - toStringRunning
```
boolean toStringRunning
```
    - rissLocation
```
String rissLocation
```
    - instance
```
String instance
```
- Class org.sat4j.pb.tools.SearchOptimizerListener extends SearchListenerAdapter<IPBSolverService> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverService
```
IPBSolverService solverService
```
    - obj
```
ObjectiveFunction obj
```
    - sfl
```
SolutionFoundListener sfl
```
    - currentValue
```
BigInteger currentValue
```
    - prevConstr
```
IConstr prevConstr
```
- Class org.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB extends LexicoDecoratorPB implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.XplainPB extends Xplain<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L

Serialized Form

Package org.sat4j.pb

Class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator extends PBSolverDecorator implements Serializable

Serialized Fields

previousPBConstr

addedConstr

objectiveValue

optimumFound

Class org.sat4j.pb.GroupPBSelectorSolver extends GroupClauseSelectorSolver<IPBSolver> implements Serializable

Class org.sat4j.pb.LanceurPseudo2005 extends AbstractLauncher implements Serializable

Serialized Fields

factory

obfct

Class org.sat4j.pb.LanceurPseudo2007 extends LanceurPseudo2005 implements Serializable

Serialized Fields

handle

Class org.sat4j.pb.LanceurPseudo2007Eclipse extends LanceurPseudo2007 implements Serializable

Serialized Fields

quickxplain

Class org.sat4j.pb.LPStringSolver extends DimacsStringSolver implements Serializable

Serialized Fields

indxConstrObj

nbOfConstraints

obj

inserted

Class org.sat4j.pb.ObjectiveFunction extends Object implements Serializable

Serialized Fields

coeffs

vars

correction

correctionFactor

Class org.sat4j.pb.ObjectiveFunctionComparator extends Object implements Serializable

Serialized Fields

obj

Class org.sat4j.pb.OPBStringSolver extends DimacsStringSolver implements Serializable

Serialized Fields

indxConstrObj

nbOfConstraints

obj

inserted

Class org.sat4j.pb.OptToPBSATAdapter extends PBSolverDecorator implements Serializable

Serialized Fields

problem

assumps

begin

sfl

Class org.sat4j.pb.PBSolverDecorator extends SolverDecorator<IPBSolver> implements Serializable

Class org.sat4j.pb.PBSolverHandle extends PBSolverDecorator implements Serializable

Class org.sat4j.pb.PBTimeoutIsolator extends PBSolverDecorator implements Serializable

Class org.sat4j.pb.PseudoIteratorDecorator extends PseudoOptDecorator implements Serializable

Class org.sat4j.pb.PseudoOptDecorator extends PBSolverDecorator implements Serializable

Serialized Fields

objectiveValue

prevmodel

prevmodelwithadditionalvars

prevfullmodel

prevModelBlockingClause

previousPBConstr

isSolutionOptimal

nonOptimalMeansSatisfiable

useAnImplicantForEvaluation

solverTimeout

optimizationTimeout

Class org.sat4j.pb.SolverFactory extends ASolverFactory<IPBSolver> implements Serializable

Class org.sat4j.pb.UserFriendlyPBStringSolver extends DimacsStringSolver implements Serializable

Serialized Fields

indxConstrObj

nbOfConstraints

obj

inserted

mapping

Package org.sat4j.pb.constraints

Class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure extends AbstractPBDataStructureFactory implements Serializable

Serialized Fields

ipbc

icardc

iclausec

Class org.sat4j.pb.constraints.AbstractPBDataStructureFactory extends AbstractDataStructureFactory implements Serializable

Serialized Fields

norm