Serialized Form (SAT4J pseudo 2.3.4 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.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
- 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
```
- 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.PseudoBitsAdderDecorator extends SolverDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objfct
```
ObjectiveFunction objfct
```
    - gator
```
GateTranslator gator
```
    - solver
```
IPBSolver solver
```
- 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
```
    - 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.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
```
    - stats
```
PBSolverStats stats
```
    - 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
    - conflictVariables
```
IVec<T> conflictVariables
```
    - conflictConstraints
```
IVec<T> conflictConstraints
```
- 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
```
    - numberOfLearnedConstraintsReduced
```
long numberOfLearnedConstraintsReduced
```
    - numberOfResolution
```
long numberOfResolution
```
    - numberOfCP
```
long numberOfCP
```
- Class org.sat4j.pb.core.PBSolverWithImpliedClause extends PBSolverCP implements Serializable
  
  serialVersionUID:
  
  1L
Package org.sat4j.pb.orders
- 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
```
- 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.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.LexicoDecoratorPB extends LexicoDecorator<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - objs
```
List<E> objs
```
    - bigCurrentValue
```
BigInteger bigCurrentValue
```
- Class org.sat4j.pb.tools.ManyCorePB extends ManyCore<IPBSolver> implements Serializable
  
  serialVersionUID:
  
  1L
- Class org.sat4j.pb.tools.PBAdapter extends SolverDecorator<ISolver> implements Serializable
  
  serialVersionUID:
  
  1L
- 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.LanceurPseudo2005 extends AbstractLauncher implements Serializable

Serialized Fields

factory

obfct

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

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

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.PseudoBitsAdderDecorator extends SolverDecorator<IPBSolver> implements Serializable

Serialized Fields

objfct

gator

solver

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

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

Serialized Fields

objectiveValue

prevmodel

prevmodelwithadditionalvars

prevfullmodel

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

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

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

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

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

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