Serialized Form

Package org.sat4j.maxsat

Class org.sat4j.maxsat.GenericOptLauncher extends AbstractLauncher implements Serializable

serialVersionUID:

1L

Serialized Fields

wmsd

WeightedMaxSatDecorator wmsd

Class org.sat4j.maxsat.MinCostDecorator extends PBSolverDecorator implements Serializable

serialVersionUID:

1L

Serialized Fields

costs

int[] costs

prevmodel

int[] prevmodel

vars

IVecInt vars

coeffs

IVec<T> coeffs

objectivevalue

int objectivevalue

prevConstr

IConstr prevConstr

isSolutionOptimal

boolean isSolutionOptimal

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

serialVersionUID:

1L

Class org.sat4j.maxsat.WeightedMaxSatDecorator extends PBSolverDecorator implements Serializable

serialVersionUID:

1L

Serialized Fields

nbnewvar

int nbnewvar

falsifiedWeight

BigInteger falsifiedWeight

maxVarIdFixed

boolean maxVarIdFixed

equivalence

boolean equivalence

lits

IVecInt lits

coefs

IVec<T> coefs

obj

ObjectiveFunction obj

unitClauses

Set<E> unitClauses

noNewVarForUnitSoftClauses

boolean noNewVarForUnitSoftClauses

top

BigInteger top

Package org.sat4j.maxsat.reader

Class org.sat4j.maxsat.reader.WDimacsReader extends DimacsReader implements Serializable

serialVersionUID:

1L

Serialized Fields

weight

BigInteger weight

top

BigInteger top

decorator

WeightedMaxSatDecorator decorator