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

IConstr previousPBConstr

addedConstr

IConstr addedConstr

maxValue

int maxValue

objectiveValue

Number objectiveValue

optimumFound

boolean optimumFound

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

serialVersionUID: 1L

Serialized Fields

factory

ASolverFactory<T extends 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.LPStringSolver extends DimacsStringSolver implements Serializable

serialVersionUID: 1L

Serialized Fields

indxConstrObj

int indxConstrObj

nbOfConstraints

int nbOfConstraints

obj

ObjectiveFunction obj

inserted

boolean inserted

Class org.sat4j.pb.ObjectiveFunction extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

coeffs

IVec<T> coeffs

vars

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

IOptimizationProblem problem

modelComputed

boolean modelComputed

assumps

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

IVecInt bitsLiterals

fixedLiterals

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

IConstr previousPBConstr

isSolutionOptimal

boolean isSolutionOptimal

nonOptimalMeansSatisfiable

boolean nonOptimalMeansSatisfiable

useAnImplicantForEvaluation

boolean useAnImplicantForEvaluation

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

Package org.sat4j.pb.constraints.pb

Class org.sat4j.pb.constraints.pb.AtLeastPB extends AtLeast implements Serializable

serialVersionUID: 1L

Serialized Fields

degree

BigInteger degree

learnt

boolean learnt

Class org.sat4j.pb.constraints.pb.LearntBinaryClausePB extends LearntBinaryClause implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.pb.LearntHTClausePB extends LearntHTClause implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

watchCumul

BigInteger watchCumul

sum of the coefficients of the literals satisfied or unvalued

litToCoeffs

Map<K,V> litToCoeffs

Class org.sat4j.pb.constraints.pb.MaxWatchPbLong extends WatchPbLong implements Serializable

serialVersionUID: 1L

Serialized Fields

watchCumul

long watchCumul

sum of the coefficients of the literals satisfied or unvalued

litToCoeffs

Map<K,V> litToCoeffs

Class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP extends WatchPbLongCP implements Serializable

serialVersionUID: 1L

Serialized Fields

watchCumul

long watchCumul

sum of the coefficients of the literals satisfied or unvalued

litToCoeffs

Map<K,V> litToCoeffs

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

serialVersionUID: 1L

Serialized Fields

bigDegree

BigInteger bigDegree

learnt

boolean learnt

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

serialVersionUID: 1L

Serialized Fields

watchCumul

BigInteger watchCumul

sum of the coefficients of the literals satisfied or unvalued

watched

boolean[] watched

is the literal of index i watching the constraint ?

watching

int[] watching

indexes of literals watching the constraint

watchingCount

int watchingCount

number of literals watching the constraint. This is the real size of the array watching

Class org.sat4j.pb.constraints.pb.MinWatchPbLong extends WatchPbLong implements Serializable

serialVersionUID: 1L

Serialized Fields

watchCumul

long watchCumul

sum of the coefficients of the literals satisfied or unvalued

watched

boolean[] watched

is the literal of index i watching the constraint ?

watching

int[] watching

indexes of literals watching the constraint

watchingCount

int watchingCount

number of literals watching the constraint. This is the real size of the array watching

Class org.sat4j.pb.constraints.pb.MinWatchPbLongCP extends WatchPbLongCP implements Serializable

serialVersionUID: 1L

Serialized Fields

watchCumul

long watchCumul

sum of the coefficients of the literals satisfied or unvalued

watched

boolean[] watched

is the literal of index i watching the constraint ?

watching

int[] watching

indexes of literals watching the constraint

watchingCount

int watchingCount

number of literals watching the constraint. This is the real size of the array watching

Class org.sat4j.pb.constraints.pb.MinWatchPbLongLimit extends WatchPbLong implements Serializable

serialVersionUID: 1L

Serialized Fields

watchCumul

long watchCumul

sum of the coefficients of the literals satisfied or unvalued

compWatchCumul

long compWatchCumul

if watchCumul is at Long.MAX_VALUE, contains the complement to the sum of the coefficients of the literals satisfied or unvalued

watched

boolean[] watched

is the literal of index i watching the constraint ?

watching

int[] watching

indexes of literals watching the constraint

watchingCount

int watchingCount

number of literals watching the constraint. This is the real size of the array watching

Class org.sat4j.pb.constraints.pb.OriginalBinaryClausePB extends OriginalBinaryClause implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.pb.OriginalHTClausePB extends OriginalHTClause 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 Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double activity

constraint activity

coefs

BigInteger[] coefs

coefficients of the literals of the constraint

sumcoefs

BigInteger sumcoefs

degree

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

voc

ILits voc

constraint's vocabulary

Class org.sat4j.pb.constraints.pb.WatchPbLong extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double activity

constraint activity

coefs

long[] coefs

coefficients of the literals of the constraint

sumcoefs

long sumcoefs

degree

long 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

voc

ILits voc

constraint's vocabulary

Class org.sat4j.pb.constraints.pb.WatchPbLongCP extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double activity

constraint activity

bigCoefs

BigInteger[] bigCoefs

coefficients of the literals of the constraint

bigDegree

BigInteger bigDegree

degree of the pseudo-boolean constraint

coefs

long[] coefs

coefficients of the literals of the constraint

sumcoefs

long sumcoefs

degree

long 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

voc

ILits voc

constraint's vocabulary

Package org.sat4j.pb.core

Class org.sat4j.pb.core.PBSolver extends Solver<PBDataStructureFactory> implements Serializable

serialVersionUID: 1L

Serialized Fields

objf

ObjectiveFunction objf

stats

PBSolverStats stats

objectiveFunctionBased

LearnedConstraintsDeletionStrategy objectiveFunctionBased

Since:

2.1

Class org.sat4j.pb.core.PBSolverCautious extends PBSolverCP implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.core.PBSolverClause extends PBSolverCP implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.core.PBSolverCP extends PBSolver implements Serializable

serialVersionUID: 1L

Serialized Fields

conflictVariables

IVec<T> conflictVariables

conflictConstraints

IVec<T> conflictConstraints

Class org.sat4j.pb.core.PBSolverResCP extends PBSolverCP implements Serializable

serialVersionUID: 1L

Serialized Fields

bound

long bound

Class org.sat4j.pb.core.PBSolverResolution extends PBSolver implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.core.PBSolverStats extends SolverStats implements Serializable

serialVersionUID: 1L

Serialized Fields

numberOfReductions

long numberOfReductions

numberOfLearnedConstraintsReduced

long numberOfLearnedConstraintsReduced

numberOfResolution

long numberOfResolution

numberOfCP

long numberOfCP

Class org.sat4j.pb.core.PBSolverWithImpliedClause extends PBSolverCP implements Serializable

serialVersionUID: 1L

Package org.sat4j.pb.orders

Class org.sat4j.pb.orders.VarOrderHeapObjective extends VarOrderHeap implements Serializable

serialVersionUID: 1L

Serialized Fields

obj

ObjectiveFunction obj

Package org.sat4j.pb.reader

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

serialVersionUID: 1L

Serialized Fields

varExplain

IVecInt varExplain

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

serialVersionUID: 1L

Serialized Fields

solver

IPBSolver solver

lits

IVecInt lits

coeffs

IVec<T> coeffs

d

BigInteger d

operator

String operator

objectiveVars

IVecInt objectiveVars

objectiveCoeffs

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

nbNewSymbols

int nbNewSymbols

contains the number of new symbols generated to linearize products

varToProduct

Map<K,V> varToProduct

binaryProductToVar

Map<K,V> binaryProductToVar

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

serialVersionUID: 1L

Serialized Fields

isWbo

boolean isWbo

softLimit

BigInteger softLimit

softConstraint

boolean softConstraint

Package org.sat4j.pb.tools

Class org.sat4j.pb.tools.ClausalConstraintsDecorator extends ClausalCardinalitiesDecorator<ISolver> implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.tools.ConflictTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

filename

String filename

out

PrintStream out

index

long index

Class org.sat4j.pb.tools.LexicoDecoratorPB extends LexicoDecorator<IPBSolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

objs

List<E> objs

bigCurrentValue

BigInteger bigCurrentValue

Class org.sat4j.pb.tools.ManyCorePB extends ManyCore<IPBSolver> implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.tools.XplainPB extends Xplain<IPBSolver> implements Serializable

serialVersionUID: 1L