|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Package org.sat4j.core |
---|
Class org.sat4j.core.ASolverFactory extends Object implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.core.DefaultComparator extends Object implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.core.ReadOnlyVec extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVec<T> vec
Class org.sat4j.core.ReadOnlyVecInt extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVecInt vec
Class org.sat4j.core.Vec extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int nbelem
Object[] myarray
Class org.sat4j.core.Vec$1 extends Object implements Serializable |
---|
Class org.sat4j.core.VecInt extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int nbelem
int[] myarray
Package org.sat4j.csp |
---|
Class org.sat4j.csp.CSPLauncher extends AbstractLauncher implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.csp.SolverFactory extends ASolverFactory<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Package org.sat4j.maxsat |
---|
Class org.sat4j.maxsat.GenericOptLauncher extends AbstractOptimizationLauncher implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
WeightedMaxSatDecorator wmsd
Class org.sat4j.maxsat.MinCostDecorator extends PBSolverDecorator implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int[] costs
int[] prevmodel
IVecInt vars
IVec<T> coeffs
int objectivevalue
IConstr prevConstr
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 |
---|
BigInteger falsifiedWeight
int nbnewvar
BigInteger top
IVecInt lits
IVec<T> coefs
ObjectiveFunction obj
Package org.sat4j.maxsat.reader |
---|
Class org.sat4j.maxsat.reader.WDimacsReader extends DimacsReader implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
BigInteger weight
BigInteger top
WeightedMaxSatDecorator decorator
Package org.sat4j.minisat |
---|
Class org.sat4j.minisat.SolverFactory extends ASolverFactory<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Package org.sat4j.minisat.constraints |
---|
Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ILits lits
IVec<T> tmp
UnitPropagationListener solver
Learner learner
Class org.sat4j.minisat.constraints.CardinalityDataStructure extends AbstractCardinalityDataStructure implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends AbstractCardinalityDataStructure implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends AbstractCardinalityDataStructure implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.ClausalDataStructureWL extends AbstractDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends AbstractDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends AbstractDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.MixedDataStructureSingleWL extends AbstractDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Package org.sat4j.minisat.constraints.card |
---|
Class org.sat4j.minisat.constraints.card.AtLeast extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int maxUnsatisfied
int counter
int[] lits
ILits voc
Class org.sat4j.minisat.constraints.card.MaxWatchCard extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int degree
int[] lits
boolean moreThan
int watchCumul
ILits voc
Class org.sat4j.minisat.constraints.card.MinWatchCard extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int degree
int[] lits
boolean moreThan
int watchCumul
ILits voc
Package org.sat4j.minisat.constraints.cnf |
---|
Class org.sat4j.minisat.constraints.cnf.BinaryClause extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double activity
ILits voc
int head
int tail
Class org.sat4j.minisat.constraints.cnf.HTClause extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double activity
int[] middleLits
ILits voc
int head
int tail
Class org.sat4j.minisat.constraints.cnf.LearntBinaryClause extends BinaryClause implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.cnf.LearntHTClause extends HTClause implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.cnf.LearntWLClause extends WLClause implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.cnf.Lits extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
boolean[] pool
int realnVars
IVec<T>[] watches
int[] level
Constr[] reason
int maxvarid
IVec<T>[] undos
boolean[] falsified
Class org.sat4j.minisat.constraints.cnf.OriginalBinaryClause extends BinaryClause implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.cnf.OriginalHTClause extends HTClause implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.cnf.OriginalWLClause extends WLClause implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.constraints.cnf.WLClause extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double activity
int[] lits
ILits voc
Package org.sat4j.minisat.core |
---|
Class org.sat4j.minisat.core.Heap extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVecInt heap
IVecInt indices
double[] activity
Class org.sat4j.minisat.core.IntQueue extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int[] myarray
int size
int first
Class org.sat4j.minisat.core.Pair extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int backtrackLevel
Constr reason
Class org.sat4j.minisat.core.SearchParams extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double claDecay
double varDecay
double conflictBoundIncFactor
int initConflictBound
Class org.sat4j.minisat.core.Solver extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVec<T> constrs
IVec<T> learnts
double claInc
double claDecay
int qhead
IVecInt trail
IVecInt trailLim
int rootLevel
int[] model
ILits voc
IOrder order
org.sat4j.minisat.core.ActivityComparator comparator
SolverStats stats
LearningStrategy<D extends DataStructureFactory> learner
boolean undertimeout
long timeout
boolean timeBasedTimeout
DataStructureFactory dsfactory
SearchParams params
IVecInt __dimacs_out
SearchListener slistener
RestartStrategy restarter
Map<K,V> constrTypes
boolean isDBSimplificationAllowed
IVecInt learnedLiterals
boolean verbose
String prefix
int declaredMaxVarId
boolean[] mseen
IVecInt mpreason
IVecInt moutLearnt
org.sat4j.minisat.core.Solver.ISimplifier SIMPLE_SIMPLIFICATION
org.sat4j.minisat.core.Solver.ISimplifier EXPENSIVE_SIMPLIFICATION
org.sat4j.minisat.core.Solver.ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY
org.sat4j.minisat.core.Solver.ISimplifier simplifier
IVecInt analyzetoclear
IVecInt analyzestack
IVec<T> watched
Pair analysisResult
boolean[] userbooleanmodel
IVecInt unsatExplanationInTermsOfAssumptions
IVecInt implied
IVecInt decisions
int[] fullmodel
double timebegin
boolean needToReduceDB
org.sat4j.minisat.core.ConflictTimer conflictCount
org.sat4j.minisat.core.Solver.LearnedConstraintsDeletionStrategy memory_based
org.sat4j.minisat.core.Solver.LearnedConstraintsDeletionStrategy glucose
org.sat4j.minisat.core.Solver.LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy
Class org.sat4j.minisat.core.SolverStats extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int starts
long decisions
long propagations
long inspects
long conflicts
long learnedliterals
long learnedbinaryclauses
long learnedternaryclauses
long learnedclauses
long ignoredclauses
long rootSimplifications
long reducedliterals
long changedreason
int reduceddb
int shortcuts
Package org.sat4j.minisat.learning |
---|
Class org.sat4j.minisat.learning.ActiveLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double percent
IOrder order
int maxpercent
Class org.sat4j.minisat.learning.ClauseOnlyLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.learning.FixedLengthLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int maxlength
int bound
Class org.sat4j.minisat.learning.LimitedLearning extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
NoLearningButHeuristics<D extends DataStructureFactory> none
MiniSATLearning<D extends DataStructureFactory> all
ILits lits
SolverStats stats
Class org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
DataStructureFactory dsf
Class org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.learning.PercentLengthLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int maxpercent
int bound
Package org.sat4j.minisat.orders |
---|
Class org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy extends Object implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy extends Object implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.PureOrder extends VarOrderHeap implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int period
int cpt
Class org.sat4j.minisat.orders.RandomLiteralSelectionStrategy extends Object implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.RSATLastLearnedClausesPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.RSATPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.minisat.orders.VarOrderHeap extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double[] activity
double varDecay
double varInc
ILits lits
long nullchoice
Heap heap
IPhaseSelectionStrategy phaseStrategy
Package org.sat4j.minisat.restarts |
---|
Class org.sat4j.minisat.restarts.ArminRestarts extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double inner
double outer
long conflicts
SearchParams params
Class org.sat4j.minisat.restarts.LubyRestarts extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int factor
int count
Class org.sat4j.minisat.restarts.MiniSATRestarts extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double nofConflicts
SearchParams params
Class org.sat4j.minisat.restarts.NoRestarts extends Object implements Serializable |
---|
serialVersionUID: 1L
Package org.sat4j.opt |
---|
Class org.sat4j.opt.AbstractSelectorVariablesDecorator extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int nbexpectedclauses
int[] prevfullmodel
int[] prevmodel
boolean[] prevboolmodel
boolean isSolutionOptimal
Class org.sat4j.opt.MaxSatDecorator extends AbstractSelectorVariablesDecorator implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVecInt lits
int counter
IConstr prevConstr
Class org.sat4j.opt.MinOneDecorator extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int[] prevmodel
boolean isSolutionOptimal
int counter
IVecInt literals
IConstr previousConstr
Package org.sat4j.pb |
---|
Class org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator extends PBSolverDecorator implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int[] bestModel
boolean[] bestFullModel
IConstr previousPBConstr
IConstr addedConstr
int maxValue
Number objectiveValue
boolean optimumFound
Class org.sat4j.pb.LanceurPseudo2005 extends AbstractOptimizationLauncher implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ASolverFactory<T extends ISolver> factory
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 |
---|
XplainPB quickxplain
Class org.sat4j.pb.ObjectiveFunction extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVec<T> coeffs
IVecInt vars
BigInteger correction
Class org.sat4j.pb.OPBStringSolver extends DimacsStringSolver implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int indxConstrObj
int nbOfConstraints
ObjectiveFunction obj
boolean inserted
Class org.sat4j.pb.OptToPBSATAdapter extends PBSolverDecorator implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IOptimizationProblem problem
boolean modelComputed
IVecInt assumps
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 |
---|
ObjectiveFunction objfct
GateTranslator gator
IPBSolver solver
IVecInt bitsLiterals
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 |
---|
BigInteger objectiveValue
int[] prevmodel
int[] prevmodelwithadditionalvars
boolean[] prevfullmodel
IConstr previousPBConstr
boolean isSolutionOptimal
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 |
---|
int indxConstrObj
int nbOfConstraints
ObjectiveFunction obj
boolean inserted
Map<K,V> mapping
Package org.sat4j.pb.constraints |
---|
Class org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure extends AbstractPBDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IPBConstructor ipbc
ICardConstructor icardc
IClauseConstructor iclausec
Class org.sat4j.pb.constraints.AbstractPBDataStructureFactory extends AbstractDataStructureFactory implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
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 |
---|
BigInteger degree
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 |
---|
BigInteger watchCumul
Map<K,V> litToCoeffs
Class org.sat4j.pb.constraints.pb.MaxWatchPbLong extends WatchPbLong implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
long watchCumul
Map<K,V> litToCoeffs
Class org.sat4j.pb.constraints.pb.MaxWatchPbLongCP extends WatchPbLongCP implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
long watchCumul
Map<K,V> litToCoeffs
Class org.sat4j.pb.constraints.pb.MinWatchCardPB extends MinWatchCard implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
BigInteger bigDegree
boolean learnt
Class org.sat4j.pb.constraints.pb.MinWatchPb extends WatchPb implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
BigInteger watchCumul
boolean[] watched
int[] watching
int watchingCount
Class org.sat4j.pb.constraints.pb.MinWatchPbLong extends WatchPbLong implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
long watchCumul
boolean[] watched
int[] watching
int watchingCount
Class org.sat4j.pb.constraints.pb.MinWatchPbLongCP extends WatchPbLongCP implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
long watchCumul
boolean[] watched
int[] watching
int watchingCount
Class org.sat4j.pb.constraints.pb.MinWatchPbLongLimit extends WatchPbLong implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
long watchCumul
long compWatchCumul
boolean[] watched
int[] watching
int watchingCount
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 |
---|
double activity
BigInteger[] coefs
BigInteger degree
int[] lits
boolean learnt
ILits voc
Class org.sat4j.pb.constraints.pb.WatchPbLong extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double activity
long[] coefs
long degree
int[] lits
boolean learnt
ILits voc
Class org.sat4j.pb.constraints.pb.WatchPbLongCP extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
double activity
BigInteger[] bigCoefs
BigInteger bigDegree
long[] coefs
long degree
int[] lits
boolean learnt
ILits voc
Package org.sat4j.pb.core |
---|
Class org.sat4j.pb.core.PBSolver extends Solver<PBDataStructureFactory> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ObjectiveFunction objf
PBSolverStats stats
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 |
---|
IVec<T> conflictVariables
IVec<T> conflictConstraints
Class org.sat4j.pb.core.PBSolverMerging extends PBSolverCP implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.pb.core.PBSolverResCP extends PBSolverCP implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
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 |
---|
long numberOfReductions
long numberOfLearnedConstraintsReduced
long numberOfResolution
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 |
---|
ObjectiveFunction obj
Package org.sat4j.pb.reader |
---|
Class org.sat4j.pb.reader.OPBEclipseReader2007 extends OPBReader2007 implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IVecInt varExplain
Class org.sat4j.pb.reader.OPBReader2005 extends Reader implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IPBSolver solver
IVecInt lits
IVec<T> coeffs
BigInteger d
String operator
IVecInt objectiveVars
IVec<T> objectiveCoeffs
boolean hasObjFunc
boolean hasVariablesExplanation
int nbVars
int nbConstr
int nbConstraintsRead
char savedChar
boolean charAvailable
boolean eofReached
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 |
---|
int nbNewSymbols
Map<K,V> varToProduct
Map<K,V> binaryProductToVar
Class org.sat4j.pb.reader.OPBReader2010 extends OPBReader2007 implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
boolean isWbo
BigInteger softLimit
boolean softConstraint
Package org.sat4j.pb.tools |
---|
Class org.sat4j.pb.tools.ClausalConstraintsDecorator extends ClausalCardinalitiesDecorator<IPBSolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IPBSolver pbsolver
Class org.sat4j.pb.tools.ConflictTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String filename
PrintStream out
long index
Class org.sat4j.pb.tools.LexicoDecoratorPB extends LexicoDecorator<IPBSolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
List<E> objs
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
Package org.sat4j.reader |
---|
Class org.sat4j.reader.DimacsReader extends Reader implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int expectedNbOfConstr
ISolver solver
boolean checkConstrNb
String formatString
EfficientScanner scanner
IVecInt literals
Class org.sat4j.reader.EfficientScanner extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
char commentChar
Class org.sat4j.reader.GroupedCNFReader extends DimacsReader implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int numberOfComponents
HighLevelXplain<T extends ISolver> hlxplain
int currentComponentIndex
Class org.sat4j.reader.LecteurDimacs extends Reader implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ISolver s
int nbVars
int nbClauses
Class org.sat4j.reader.ParseFormatException extends Exception implements Serializable |
---|
serialVersionUID: 1L
Package org.sat4j.sat |
---|
Class org.sat4j.sat.Lanceur extends AbstractLauncher implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ASolverFactory<T extends ISolver> factory
String filename
int k
Package org.sat4j.specs |
---|
Class org.sat4j.specs.ContradictionException extends Exception implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.specs.TimeoutException extends Exception implements Serializable |
---|
serialVersionUID: 1L
Package org.sat4j.tools |
---|
Class org.sat4j.tools.AbstractOutputSolver extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int nbvars
int nbclauses
boolean fixedNbClauses
boolean firstConstr
Class org.sat4j.tools.ClausalCardinalitiesDecorator extends SolverDecorator<T extends ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
EncodingStrategyAdapter encodingAdapter
Class org.sat4j.tools.ConflictLevelTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String filename
PrintStream out
Class org.sat4j.tools.DecisionLevelTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String filename
PrintStream out
Class org.sat4j.tools.DecisionTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String filename
PrintStream out
Class org.sat4j.tools.DimacsArrayReader extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ISolver solver
Class org.sat4j.tools.DimacsOutputSolver extends AbstractOutputSolver implements Serializable |
---|
serialVersionUID: 1L
Serialization Methods |
---|
private void readObject(ObjectInputStream stream)
Class org.sat4j.tools.DimacsStringSolver extends AbstractOutputSolver implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
StringBuffer out
int firstCharPos
int initBuilderSize
int maxvarid
Class org.sat4j.tools.DotSearchTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialization Methods |
---|
private void readObject(ObjectInputStream stream) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
Serialized Fields |
---|
Vec<T> pile
String currentNodeName
boolean estOrange
Map<K,V> mapping
Class org.sat4j.tools.ExtendedDimacsArrayReader extends DimacsArrayReader implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
GateTranslator gater
Class org.sat4j.tools.GateTranslator extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.tools.LearnedClauseSizeTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String filename
PrintStream out
Class org.sat4j.tools.LexicoDecorator extends SolverDecorator<T extends ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
List<E> criteria
int currentCriterion
IConstr prevConstr
Number currentValue
int[] prevfullmodel
boolean[] prevboolmodel
boolean isSolutionOptimal
Class org.sat4j.tools.ManyCore extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
String[] availableSolvers
List<E> solvers
int numberOfSolvers
int winnerId
boolean resultFound
int remainingSolvers
int sleepTime
boolean solved
Class org.sat4j.tools.Minimal4CardinalityModel extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.tools.Minimal4InclusionModel extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.tools.ModelIterator extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
boolean trivialfalsity
long bound
long nbModelFound
Class org.sat4j.tools.OptToSatAdapter extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
IOptimizationProblem problem
boolean modelComputed
boolean optimalValueForced
Class org.sat4j.tools.SingleSolutionDetector extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Class org.sat4j.tools.SolutionCounter extends SolverDecorator<ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int lowerBound
Class org.sat4j.tools.SolverDecorator extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
ISolver solver
Class org.sat4j.tools.TextOutputTracing extends Object implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
Map<K,V> mapping
Package org.sat4j.tools.xplain |
---|
Class org.sat4j.tools.xplain.HighLevelXplain extends SolverDecorator<T extends ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
Map<K,V> constrs
IVecInt assump
int lastCreatedVar
boolean pooledVarId
MinimizationStrategy xplainStrategy
Map<K,V> highLevelToVar
Class org.sat4j.tools.xplain.Xplain extends SolverDecorator<T extends ISolver> implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
Map<K,V> constrs
IVecInt assump
int lastCreatedVar
boolean pooledVarId
IVecInt lastClause
IConstr lastConstr
boolean skipDuplicatedEntries
MinimizationStrategy xplainStrategy
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |