Serialized Form

Package org.sat4j.pb

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

serialVersionUID:

1L

Serialized Fields

previousPBConstr

org.sat4j.specs.IConstr previousPBConstr

addedConstr

org.sat4j.specs.IConstr addedConstr

objectiveValue

Number objectiveValue

optimumFound

boolean optimumFound

Class org.sat4j.pb.GoodOPBReader extends org.sat4j.reader.Reader implements Serializable

serialVersionUID:

1L

Serialized Fields

solver

org.sat4j.pb.IPBSolver solver

map

Map<K,V> map

decode

org.sat4j.specs.IVec<T> decode

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

serialVersionUID:

1L

Serialized Fields

factory

ASolverFactory<T extends org.sat4j.specs.ISolver> factory

obfct

org.sat4j.pb.ObjectiveFunction obfct

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

serialVersionUID:

1L

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

serialVersionUID:

1L

Serialized Fields

quickxplain

org.sat4j.pb.tools.XplainPB quickxplain

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

serialVersionUID:

1L

Serialized Fields

indxConstrObj

int indxConstrObj

nbOfConstraints

int nbOfConstraints

obj

org.sat4j.pb.ObjectiveFunction obj

inserted

boolean inserted

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

serialVersionUID:

1L

Serialized Fields

coeffs

org.sat4j.specs.IVec<T> coeffs

vars

org.sat4j.specs.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

org.sat4j.pb.ObjectiveFunction obj

inserted

boolean inserted

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

serialVersionUID:

1L

Serialized Fields

problem

org.sat4j.specs.IOptimizationProblem problem

modelComputed

boolean modelComputed

assumps

org.sat4j.specs.IVecInt assumps

begin

long begin

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

serialVersionUID:

1L

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

serialVersionUID:

1L

Serialized Fields

objfct

org.sat4j.pb.ObjectiveFunction objfct

gator

GateTranslator gator

solver

org.sat4j.pb.IPBSolver solver

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

serialVersionUID:

1L

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

serialVersionUID:

1L

Serialized Fields

objectiveValue

BigInteger objectiveValue

prevmodel

int[] prevmodel

prevmodelwithadditionalvars

int[] prevmodelwithadditionalvars

prevfullmodel

boolean[] prevfullmodel

previousPBConstr

org.sat4j.specs.IConstr previousPBConstr

isSolutionOptimal

boolean isSolutionOptimal

nonOptimalMeansSatisfiable

boolean nonOptimalMeansSatisfiable

useAnImplicantForEvaluation

boolean useAnImplicantForEvaluation

solverTimeout

int solverTimeout

optimizationTimeout

int optimizationTimeout

Class org.sat4j.pb.SolverFactory extends ASolverFactory<org.sat4j.pb.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

org.sat4j.pb.ObjectiveFunction obj

inserted

boolean inserted

mapping

Map<K,V> mapping

Package org.sat4j.pb.constraints

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

serialVersionUID:

1L

Serialized Fields

ipbc

org.sat4j.pb.constraints.IPBConstructor ipbc

icardc

org.sat4j.pb.constraints.ICardConstructor icardc

iclausec

org.sat4j.pb.constraints.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 org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L

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

serialVersionUID:

1L