Serialized Form


Package org.sat4j.pb

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

Serialized Fields

quickxplain

XplainPB quickxplain

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

serialVersionUID: 1L

Serialized Fields

coeffs

IVec<T> coeffs

vars

IVecInt vars

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

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

objfct

ObjectiveFunction objfct

objectiveValue

java.math.BigInteger objectiveValue

prevmodel

int[] prevmodel

prevfullmodel

boolean[] prevfullmodel

previousPBConstr

IConstr previousPBConstr

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

java.util.Map<K,V> mapping

Package org.sat4j.pb.constraints

Class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure extends 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 PBMinClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure 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 AtLeast implements Serializable

serialVersionUID: 1L

Serialized Fields

degree

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

Class org.sat4j.pb.constraints.pb.MinWatchCardPB extends 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 MixableCBClause implements Serializable

serialVersionUID: 1L

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 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

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

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.PBSolverMerging extends PBSolverCP implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

java.math.BigInteger d

operator

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


productStore

java.util.Map<K,V> productStore

Package org.sat4j.pb.tools

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

serialVersionUID: 1L



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.