Serialized Form

Package org.sat4j.pb

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

serialVersionUID: 1L

Serialized Fields

bestModel

int[] bestModel

bestFullModel

boolean[] bestFullModel

previousPBConstr

org.sat4j.specs.IConstr previousPBConstr

addedConstr

org.sat4j.specs.IConstr addedConstr

maxValue

int maxValue

objectiveValue

Number objectiveValue

optimumFound

boolean optimumFound

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

serialVersionUID: 1L

Serialized Fields

solver

IPBSolver solver

map

Map<K,V> map

decode

org.sat4j.specs.IVec<T> decode

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

serialVersionUID: 1L

Serialized Fields

factory

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

ObjectiveFunction obj

inserted

boolean inserted

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

bitsLiterals

org.sat4j.specs.IVecInt bitsLiterals

fixedLiterals

org.sat4j.specs.IVecInt fixedLiterals

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

org.sat4j.specs.IConstr previousPBConstr

isSolutionOptimal

boolean isSolutionOptimal

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