Serialized Form

Package org.sat4j.maxsat

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

costs

int[] costs

prevmodel

int[] prevmodel

vars

org.sat4j.specs.IVecInt vars

coeffs

org.sat4j.specs.IVec<T> coeffs

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

nborigvars

int nborigvars

nbexpectedclauses

int nbexpectedclauses

falsifiedWeight

long falsifiedWeight

nbnewvar

int nbnewvar

prevfullmodel

int[] prevfullmodel

top

int top

counter

int counter

lits

org.sat4j.specs.IVecInt lits

coefs

org.sat4j.specs.IVec<T> coefs

obj

org.sat4j.pb.ObjectiveFunction obj

Package org.sat4j.maxsat.reader

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

serialVersionUID: 1L

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

serialVersionUID: 1L