Serialized Form

Package org.sat4j.pb

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

serialVersionUID: 1L

Serialized Fields

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

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

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

serialVersionUID: 1L

Serialized Fields

problem

org.sat4j.specs.IOptimizationProblem problem

modelComputed

boolean modelComputed

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

objfct

ObjectiveFunction objfct

prevmodel

int[] prevmodel

prevfullmodel

boolean[] prevfullmodel

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

serialVersionUID: 1L

Package org.sat4j.pb.constraints

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.AbstractPBDataStructureFactory extends org.sat4j.minisat.constraints.AbstractDataStructureFactory<org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure extends PuebloPBMinClauseCardConstrDataStructure 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 org.sat4j.minisat.constraints.card.AtLeast implements Serializable

serialVersionUID: 1L

Serialized Fields

degree

java.math.BigInteger degree

learnt

boolean learnt

Class org.sat4j.pb.constraints.pb.HTClausePB extends org.sat4j.minisat.constraints.cnf.DefaultHTClause implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.pb.MaxWatchPb extends WatchPb implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.pb.MinWatchCardPB extends org.sat4j.minisat.constraints.card.MinWatchCard implements Serializable

serialVersionUID: 1L

Serialized Fields

degree

java.math.BigInteger degree

learnt

boolean learnt

Class org.sat4j.pb.constraints.pb.MinWatchPb extends WatchPb implements Serializable

serialVersionUID: 1L

Serialized Fields

watched

boolean[] watched

Liste des indices des litt???raux regardant la contrainte

watching

int[] watching

Sert ??? d???terminer si la clause est watched par le litt???ral

watchingCount

int watchingCount

Liste des indices des litt???raux regardant la contrainte

Class org.sat4j.pb.constraints.pb.MixableCBClausePB extends org.sat4j.minisat.constraints.cnf.MixableCBClause 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 java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double activity

constraint activity

coefs

java.math.BigInteger[] coefs

coefficients of the literals of the constraint

degree

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

watchCumul

java.math.BigInteger watchCumul

sum of the coefficients of the literals satisfied or unvalued

voc

org.sat4j.minisat.core.ILits voc

constraint's vocabulary

Package org.sat4j.pb.core

Class org.sat4j.pb.core.PBSolver extends org.sat4j.minisat.core.Solver<L extends org.sat4j.minisat.core.ILits,PBDataStructureFactory<L extends org.sat4j.minisat.core.ILits>> implements Serializable

serialVersionUID: 1L

Serialized Fields

listOfVariables

org.sat4j.specs.IVecInt listOfVariables

list of variables for which the solver must provide an explanation for the unsatisfiability if any

Class org.sat4j.pb.core.PBSolverClause extends PBSolverCP<org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.core.PBSolverCP extends PBSolver<L extends org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

Serialized Fields

conflictVariables

org.sat4j.specs.IVec<T> conflictVariables

conflictConstraints

org.sat4j.specs.IVec<T> conflictConstraints

Class org.sat4j.pb.core.PBSolverMerging extends PBSolverCP<org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.core.PBSolverResolution extends PBSolver<org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.core.PBSolverWithImpliedClause extends PBSolverCP<org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

Package org.sat4j.pb.orders

Class org.sat4j.pb.orders.VarOrderHeapObjective extends org.sat4j.minisat.orders.VarOrderHeap<org.sat4j.minisat.core.ILits> implements Serializable

serialVersionUID: 1L

Serialized Fields

obj

ObjectiveFunction obj

Package org.sat4j.pb.reader

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

serialVersionUID: 1L

Serialized Fields

solver

IPBSolver solver

map

java.util.Map<K,V> map

decode

org.sat4j.specs.IVec<T> decode

Class org.sat4j.pb.reader.OPBEclipseReader2007 extends OPBReader2007 implements Serializable

serialVersionUID: 1L

Serialized Fields

varExplain

org.sat4j.specs.IVecInt varExplain

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

serialVersionUID: 1L

Serialized Fields

solver

IPBSolver solver

lits

org.sat4j.specs.IVecInt lits

coeffs

org.sat4j.specs.IVec<T> coeffs

d

java.math.BigInteger d

operator

java.lang.String operator

objectiveVars

org.sat4j.specs.IVecInt objectiveVars

objectiveCoeffs

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

nbProducts

int nbProducts

nbNewSymbols

int nbNewSymbols

contains the number of new symbols generated to linearize products

productStore

java.util.Map<K,V> productStore