Serialized Form

Package org.sat4j.pb

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

serialVersionUID: 1L

Serialized Fields

solver

org.sat4j.pb.IPBSolver solver

map

java.util.Map<K,V> map

decode

org.sat4j.specs.IVec<T> decode

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

serialVersionUID: 1L

Serialized Fields

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.ObjectiveFunction extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

coeffs

org.sat4j.specs.IVec<T> coeffs

vars

org.sat4j.specs.IVecInt vars

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

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

serialVersionUID: 1L

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

objfct

org.sat4j.pb.ObjectiveFunction objfct

objectiveValue

java.math.BigInteger objectiveValue

prevmodel

int[] prevmodel

prevfullmodel

boolean[] prevfullmodel

previousPBConstr

org.sat4j.specs.IConstr previousPBConstr

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

indxConstrObj

int indxConstrObj

nbOfConstraints

int nbOfConstraints

obj

org.sat4j.pb.ObjectiveFunction obj

inserted

boolean inserted

mapping

java.util.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

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.PBMinClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure extends org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure 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.PuebloPBMinClauseCardConstrDataStructure 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.PuebloPBMinClauseCardConstrDataStructure 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