Serialized Form

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

vec

IVec<T> vec

Class org.sat4j.core.ReadOnlyVecInt extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

vec

IVecInt vec

Class org.sat4j.core.Vec extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

nbelem

int nbelem

myarray

Object[] myarray

Class org.sat4j.core.VecInt extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

nbelem

int nbelem

myarray

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

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

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

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

lits

ILits lits

tmp

IVec<T> tmp

solver

UnitPropagationListener solver

learner

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

maxUnsatisfied

int maxUnsatisfied

number of allowed falsified literal

counter

int counter

current number of falsified literals

lits

int[] lits

constraint literals

voc

ILits voc

Class org.sat4j.minisat.constraints.card.MaxWatchCard extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

degree

int degree

Degr? de la contrainte de cardinalit?

lits

int[] lits

Liste des litt?raux de la contrainte

moreThan

boolean moreThan

D?termine si c'est une in?galit? sup?rieure ou ?gale

watchCumul

int watchCumul

Somme des coefficients des litt?raux observ?s

voc

ILits voc

Vocabulaire de la contrainte

Class org.sat4j.minisat.constraints.card.MinWatchCard extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

degree

int degree

degree of the cardinality constraint

lits

int[] lits

literals involved in the constraint

moreThan

boolean moreThan

contains the sign of the constraint : ATLEAT or ATMOST

watchCumul

int watchCumul

contains the sum of the coefficients of the watched literals

voc

ILits voc

Vocabulary of the constraint

Package org.sat4j.minisat.constraints.cnf

Class org.sat4j.minisat.constraints.cnf.BinaryClause extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double activity

voc

ILits voc

head

int head

tail

int tail

Class org.sat4j.minisat.constraints.cnf.HTClause extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double activity

middleLits

int[] middleLits

voc

ILits voc

head

int head

tail

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

pool

boolean[] pool

realnVars

int realnVars

watches

IVec<T>[] watches

level

int[] level

reason

Constr[] reason

maxvarid

int maxvarid

undos

IVec<T>[] undos

falsified

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

activity

double activity

Since:

2.1

lits

int[] lits

voc

ILits voc

Package org.sat4j.minisat.core

Class org.sat4j.minisat.core.ActivityComparator extends Object implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.core.ConflictTimerAdapter extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

bound

int bound

Class org.sat4j.minisat.core.ConflictTimerContainer extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

timers

IVec<T> timers

Class org.sat4j.minisat.core.Heap extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

heap

IVecInt heap

indices

IVecInt indices

activity

double[] activity

Class org.sat4j.minisat.core.IntQueue extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

myarray

int[] myarray

size

int size

first

int first

Class org.sat4j.minisat.core.Pair extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

backtrackLevel

int backtrackLevel

reason

Constr reason

Class org.sat4j.minisat.core.SearchParams extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

claDecay

double claDecay

varDecay

double varDecay

conflictBoundIncFactor

double conflictBoundIncFactor

initConflictBound

int initConflictBound

Class org.sat4j.minisat.core.Solver extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

out

ICDCLLogger out

constrs

IVec<T> constrs

Set of original constraints.

learnts

IVec<T> learnts

Set of learned constraints.

claInc

double claInc

incr?ment pour l'activit? des clauses.

claDecay

double claDecay

decay factor pour l'activit? des clauses.

qhead

int qhead

Queue de propagation

trail

IVecInt trail

affectation en ordre chronologique

trailLim

IVecInt trailLim

indice des s?parateurs des diff?rents niveau de d?cision dans trail

rootLevel

int rootLevel

S?pare les hypoth?ses incr?mentale et recherche

model

int[] model

voc

ILits voc

order

IOrder order

comparator

ActivityComparator comparator

stats

SolverStats stats

learner

LearningStrategy<D extends DataStructureFactory> learner

undertimeout

boolean undertimeout

timeout

long timeout

timeBasedTimeout

boolean timeBasedTimeout

dsfactory

DataStructureFactory dsfactory

params

SearchParams params

__dimacs_out

IVecInt __dimacs_out

slistener

SearchListener<S extends ISolverService> slistener

restarter

RestartStrategy restarter

constrTypes

Map<K,V> constrTypes

isDBSimplificationAllowed

boolean isDBSimplificationAllowed

learnedLiterals

IVecInt learnedLiterals

verbose

boolean verbose

keepHot

boolean keepHot

prefix

String prefix

declaredMaxVarId

int declaredMaxVarId

mseen

boolean[] mseen

mpreason

IVecInt mpreason

moutLearnt

IVecInt moutLearnt

SIMPLE_SIMPLIFICATION

ISimplifier SIMPLE_SIMPLIFICATION

EXPENSIVE_SIMPLIFICATION

ISimplifier EXPENSIVE_SIMPLIFICATION

EXPENSIVE_SIMPLIFICATION_WLONLY

ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY

simplifier

ISimplifier simplifier

analyzetoclear

IVecInt analyzetoclear

analyzestack

IVecInt analyzestack

watched

IVec<T> watched

analysisResult

Pair analysisResult

userbooleanmodel

boolean[] userbooleanmodel

unsatExplanationInTermsOfAssumptions

IVecInt unsatExplanationInTermsOfAssumptions

implied

IVecInt implied

decisions

IVecInt decisions

fullmodel

int[] fullmodel

prime

int[] prime

timebegin

double timebegin

needToReduceDB

boolean needToReduceDB

conflictCount

ConflictTimerContainer conflictCount

memoryTimer

ConflictTimer memoryTimer

memory_based

LearnedConstraintsDeletionStrategy memory_based

Since:

2.1

lbdTimer

ConflictTimer lbdTimer

glucose

LearnedConstraintsDeletionStrategy glucose

Since:

2.1

learnedConstraintsDeletionStrategy

LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy

lastConflictMeansUnsat

boolean lastConflictMeansUnsat

sharedConflict

Constr sharedConflict

Class org.sat4j.minisat.core.SolverStats extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

starts

int starts

decisions

long decisions

propagations

long propagations

inspects

long inspects

conflicts

long conflicts

learnedliterals

long learnedliterals

learnedbinaryclauses

long learnedbinaryclauses

learnedternaryclauses

long learnedternaryclauses

learnedclauses

long learnedclauses

ignoredclauses

long ignoredclauses

rootSimplifications

long rootSimplifications

reducedliterals

long reducedliterals

changedreason

long changedreason

reduceddb

int reduceddb

shortcuts

int shortcuts

updateLBD

long updateLBD

Package org.sat4j.minisat.learning

Class org.sat4j.minisat.learning.ActiveLearning extends LimitedLearning<D extends DataStructureFactory> implements Serializable

serialVersionUID: 1L

Serialized Fields

percent

double percent

order

IOrder order

maxpercent

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

maxlength

int maxlength

bound

int bound

Class org.sat4j.minisat.learning.LimitedLearning extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

none

NoLearningButHeuristics<D extends DataStructureFactory> none

all

MiniSATLearning<D extends DataStructureFactory> all

lits

ILits lits

stats

SolverStats stats

Class org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning<D extends DataStructureFactory> implements Serializable

serialVersionUID: 1L

Serialized Fields

dsf

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

maxpercent

int maxpercent

bound

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

period

int period

cpt

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.SubsetVarOrder extends VarOrderHeap implements Serializable

serialVersionUID: 1L

Serialized Fields

varsToTest

int[] varsToTest

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

activity

double[] activity

mesure heuristique de l'activite d'une variable.

varDecay

double varDecay

varInc

double varInc

increment pour l'activite des variables.

lits

ILits lits

nullchoice

long nullchoice

heap

Heap heap

phaseStrategy

IPhaseSelectionStrategy phaseStrategy

Package org.sat4j.minisat.restarts

Class org.sat4j.minisat.restarts.ArminRestarts extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

inner

double inner

outer

double outer

conflicts

long conflicts

params

SearchParams params

conflictcount

long conflictcount

Class org.sat4j.minisat.restarts.LubyRestarts extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

un

int un

vn

int vn

factor

int factor

bound

int bound

conflictcount

int conflictcount

Class org.sat4j.minisat.restarts.MiniSATRestarts extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

nofConflicts

double nofConflicts

params

SearchParams params

conflictcount

int conflictcount

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

nbexpectedclauses

int nbexpectedclauses

prevfullmodel

int[] prevfullmodel

prevmodel

int[] prevmodel

Since:

2.1

prevboolmodel

boolean[] prevboolmodel

Since:

2.1

isSolutionOptimal

boolean isSolutionOptimal

Class org.sat4j.opt.MaxSatDecorator extends AbstractSelectorVariablesDecorator implements Serializable

serialVersionUID: 1L

Serialized Fields

equivalence

boolean equivalence

lits

IVecInt lits

counter

int counter

prevConstr

IConstr prevConstr

Class org.sat4j.opt.MinOneDecorator extends SolverDecorator<ISolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

prevmodel

int[] prevmodel

isSolutionOptimal

boolean isSolutionOptimal

counter

int counter

literals

IVecInt literals

previousConstr

IConstr previousConstr

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

Package org.sat4j.reader

Class org.sat4j.reader.DimacsReader extends Reader implements Serializable

serialVersionUID: 1L

Serialized Fields

expectedNbOfConstr

int expectedNbOfConstr

solver

ISolver solver

checkConstrNb

boolean checkConstrNb

formatString

String formatString

scanner

EfficientScanner scanner

Since:

2.1

literals

IVecInt literals

Since:

2.1

Class org.sat4j.reader.EfficientScanner extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

commentChar

char commentChar

Class org.sat4j.reader.GroupedCNFReader extends DimacsReader implements Serializable

serialVersionUID: 1L

Serialized Fields

numberOfComponents

int numberOfComponents

hlxplain

HighLevelXplain<T extends ISolver> hlxplain

currentComponentIndex

int currentComponentIndex

Class org.sat4j.reader.LecteurDimacs extends Reader implements Serializable

serialVersionUID: 1L

Serialized Fields

s

ISolver s

nbVars

int nbVars

nbClauses

int nbClauses

Class org.sat4j.reader.ParseFormatException extends Exception implements Serializable

serialVersionUID: 1L

Package org.sat4j.sat

Class org.sat4j.sat.CleanCommandComponent extends CommandComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

cleanSlider

JSlider cleanSlider

evaluationLabel

JLabel evaluationLabel

evaluationGroup

ButtonGroup evaluationGroup

activityRadio

JRadioButton activityRadio

lbdRadio

JRadioButton lbdRadio

lbd2Radio

JRadioButton lbd2Radio

cleanAndEvaluationApplyButton

JButton cleanAndEvaluationApplyButton

cleanButton

JButton cleanButton

manualCleanLabel

JLabel manualCleanLabel

speedLabel

JLabel speedLabel

speedNameLabel

JLabel speedNameLabel

speedUnitLabel

JLabel speedUnitLabel

deleteClauseLabel

JLabel deleteClauseLabel

cleanValuesTable

Hashtable<K,V> cleanValuesTable

clean5000Label

JLabel clean5000Label

clean10000Label

JLabel clean10000Label

clean20000Label

JLabel clean20000Label

clean50000Label

JLabel clean50000Label

clean100000Label

JLabel clean100000Label

clean500000Label

JLabel clean500000Label

controller

SolverController controller

cleanUseOriginalStrategyCB

JCheckBox cleanUseOriginalStrategyCB

Class org.sat4j.sat.CommandComponent extends JPanel implements Serializable

serialVersionUID: 1L

Class org.sat4j.sat.DetailedCommandPanel extends JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

ramdisk

String ramdisk

telecomStrategy

RemoteControlStrategy telecomStrategy

randomWalk

RandomWalkDecorator randomWalk

solver

ICDCL<D extends DataStructureFactory> solver

reader

Reader reader

problem

IProblem problem

optimizationMode

boolean optimizationMode

commandLines

String[] commandLines

firstStart

boolean firstStart

startConfig

StartSolverEnum startConfig

solveurThread

Thread solveurThread

stringWriter

StringWriter stringWriter

tabbedPane

DetailedCommandPanel.MyTabbedPane tabbedPane

aboutSolverPanel

JPanel aboutSolverPanel

textArea

JTextArea textArea

instancePanel

JPanel instancePanel

instanceLabel

JLabel instanceLabel

instancePathField

JTextField instancePathField

instancePath

String instancePath

browseButton

JButton browseButton

whereToWriteFiles

String whereToWriteFiles

choixSolverPanel

JPanel choixSolverPanel

choixSolver

JLabel choixSolver

selectedSolver

String selectedSolver

listeSolvers

JComboBox listeSolvers

optimisationModeCB

JCheckBox optimisationModeCB

solverLineParamLineRadio

JRadioButton solverLineParamLineRadio

solverLineParamRemoteRadio

JRadioButton solverLineParamRemoteRadio

solverListParamListRadio

JRadioButton solverListParamListRadio

solverListParamRemoteRadio

JRadioButton solverListParamRemoteRadio

solverConfigGroup

ButtonGroup solverConfigGroup

chooseStartConfigLabel

JLabel chooseStartConfigLabel

startStopButton

JButton startStopButton

pauseButton

JButton pauseButton

restartPanel

RestartCommandComponent restartPanel

rwPanel

RandomWalkCommandComponent rwPanel

cleanPanel

CleanCommandComponent cleanPanel

phasePanel

PhaseCommandComponent phasePanel

simplifierPanel

SimplifierCommandComponent simplifierPanel

hotSolverPanel

HotSolverCommandComponent hotSolverPanel

console

JTextArea console

scrollPane

JScrollPane scrollPane

isPlotActivated

boolean isPlotActivated

solverVisu

SolverVisualisation solverVisu

visuPreferences

VisuPreferences visuPreferences

gnuplotBased

boolean gnuplotBased

chartBased

boolean chartBased

frame

RemoteControlFrame frame

begin

long begin

end

long end

propagationsCounter

int propagationsCounter

conflictCounter

int conflictCounter

outSolutionFound

PrintStream outSolutionFound

Class org.sat4j.sat.DetailedCommandPanel.MyTabbedPane extends JTabbedPane implements Serializable

serialVersionUID: 1L

Class org.sat4j.sat.HotSolverCommandComponent extends CommandComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

controller

SolverController controller

keepSolverHotCB

JCheckBox keepSolverHotCB

applyHotSolver

JButton applyHotSolver

Class org.sat4j.sat.Lanceur extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

incomplete

boolean incomplete

isModeOptimization

boolean isModeOptimization

problem

IProblem problem

cdclSolver

ICDCL<D extends DataStructureFactory> cdclSolver

modeTracing

boolean modeTracing

launchRemoteControl

boolean launchRemoteControl

factory

ASolverFactory<T extends ISolver> factory

filename

String filename

k

int k

Class org.sat4j.sat.PhaseCommandComponent extends CommandComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

currentPhaseSelectionStrategy

String currentPhaseSelectionStrategy

phaseList

JComboBox phaseList

phaseListLabel

JLabel phaseListLabel

phaseApplyButton

JButton phaseApplyButton

solverController

SolverController solverController

Class org.sat4j.sat.RandomWalkCommandComponent extends CommandComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

controller

SolverController controller

probaRWLabel

JLabel probaRWLabel

probaRWField

JTextField probaRWField

applyRWButton

JButton applyRWButton

Class org.sat4j.sat.RemoteControlFrame extends JFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

lookAndFeel

String lookAndFeel

barreMenu

JMenuBar barreMenu

menu

JMenu menu

activateTracing

JMenuItem activateTracing

commandePanel

DetailedCommandPanel commandePanel

filename

String filename

ramdisk

String ramdisk

telecomStrategy

RemoteControlStrategy telecomStrategy

randomWalk

RandomWalkDecorator randomWalk

args

String[] args

visuFrame

VisuPreferencesFrame visuFrame

gnuplotBasedRadio

JRadioButtonMenuItem gnuplotBasedRadio

jChartBasedRadio

JRadioButtonMenuItem jChartBasedRadio

Class org.sat4j.sat.RemoteControlStrategy extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

restart

RestartStrategy restart

phaseSelectionStrategy

IPhaseSelectionStrategy phaseSelectionStrategy

logger

ICDCLLogger logger

isInterrupted

boolean isInterrupted

hasClickedOnRestart

boolean hasClickedOnRestart

hasClickedOnClean

boolean hasClickedOnClean

conflictNumber

int conflictNumber

nbClausesAtWhichWeShouldClean

int nbClausesAtWhichWeShouldClean

useTelecomStrategyAsLearnedConstraintsDeletionStrategy

boolean useTelecomStrategyAsLearnedConstraintsDeletionStrategy

solver

ICDCL<D extends DataStructureFactory> solver

Class org.sat4j.sat.RestartCommandComponent extends CommandComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

restartPropertiesPanel

JPanel restartPropertiesPanel

restartButtonPanel

JPanel restartButtonPanel

chooseRestartStrategyLabel

JLabel chooseRestartStrategyLabel

noParameterLabel

JLabel noParameterLabel

listeRestarts

JComboBox listeRestarts

restartButton

JButton restartButton

changeRestartMode

JButton changeRestartMode

factorLabel

JLabel factorLabel

factorField

JTextField factorField

currentRestart

String currentRestart

controller

SolverController controller

Class org.sat4j.sat.SimplifierCommandComponent extends CommandComponent implements Serializable

serialVersionUID: 1L

Serialized Fields

controller

SolverController controller

simplificationApplyButton

JButton simplificationApplyButton

simplificationGroup

ButtonGroup simplificationGroup

simplificationNoRadio

JRadioButton simplificationNoRadio

simplificationSimpleRadio

JRadioButton simplificationSimpleRadio

simplificationExpensiveRadio

JRadioButton simplificationExpensiveRadio

Class org.sat4j.sat.VerySimpleCommandPanel extends JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

telecomStrategy

RemoteControlStrategy telecomStrategy

restartButton

JButton restartButton

cleanButton

JButton cleanButton

console

JTextArea console

Package org.sat4j.sat.visu

Class org.sat4j.sat.visu.MyChartPanel extends JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

titleLabel

JLabel titleLabel

Class org.sat4j.sat.visu.PointPainterCross extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> implements Serializable

serialVersionUID: 1L

Serialized Fields

crossSize

int crossSize

The size of the cross point in pixels

Class org.sat4j.sat.visu.PointPainterPlus extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> implements Serializable

serialVersionUID: 1L

Serialized Fields

plusSize

int plusSize

The size of the plus point in pixels

Class org.sat4j.sat.visu.TraceComposite extends Object implements Serializable

Serialized Fields

traces

List<E> traces

Class org.sat4j.sat.visu.TracePainterCross extends info.monitorenter.gui.chart.traces.painters.ATracePainter implements Serializable

serialVersionUID: 1L

Serialized Fields

m_pointPainter

PointPainterCross m_pointPainter

The implementation for rendering the point as a cross.

Class org.sat4j.sat.visu.TracePainterPlus extends info.monitorenter.gui.chart.traces.painters.ATracePainter implements Serializable

serialVersionUID: 1L

Serialized Fields

m_pointPainter

PointPainterPlus m_pointPainter

The implementation for rendering the point as a plus.

Class org.sat4j.sat.visu.VisuPreferencesFrame extends JFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

preferences

VisuPreferences preferences

mainPanel

JPanel mainPanel

generalOptionsPanel

JPanel generalOptionsPanel

gnuplotOptionsPanel

JPanel gnuplotOptionsPanel

graphPanel

JPanel graphPanel

backgroundColorLabel

JLabel backgroundColorLabel

bgButton

JButton bgButton

borderColorLabel

JLabel borderColorLabel

borderButton

JButton borderButton

nbLinesReadLabel

JLabel nbLinesReadLabel

nbLinesTextField

JTextField nbLinesTextField

refreshTimeLabel

JLabel refreshTimeLabel

refreshTimeField

JTextField refreshTimeField

timeBeforeLaunchLabel

JLabel timeBeforeLaunchLabel

timeBeforeLaunchField

JTextField timeBeforeLaunchField

displayRestartsCheckBox

JCheckBox displayRestartsCheckBox

restartColorLabel

JLabel restartColorLabel

restartButton

JButton restartButton

slidingWindows

JCheckBox slidingWindows

displayDecisionIndexesCB

JCheckBox displayDecisionIndexesCB

displaySpeedCB

JCheckBox displaySpeedCB

displayConflictsTrailCB

JCheckBox displayConflictsTrailCB

displayConflictsDecisionCB

JCheckBox displayConflictsDecisionCB

displayVariablesEvaluationCB

JCheckBox displayVariablesEvaluationCB

displayClausesEvaluationCB

JCheckBox displayClausesEvaluationCB

displayClausesSizeCB

JCheckBox displayClausesSizeCB

okButton

JButton okButton

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

nbvars

int nbvars

nbclauses

int nbclauses

fixedNbClauses

boolean fixedNbClauses

firstConstr

boolean firstConstr

Class org.sat4j.tools.ClausalCardinalitiesDecorator extends SolverDecorator<T extends ISolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

encodingAdapter

EncodingStrategyAdapter encodingAdapter

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

serialVersionUID: 1L

Serialized Fields

counter

int counter

nVar

int nVar

conflictDepthVisu

IVisualizationTool conflictDepthVisu

conflictDepthRestartVisu

IVisualizationTool conflictDepthRestartVisu

conflictDepthCleanVisu

IVisualizationTool conflictDepthCleanVisu

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

serialVersionUID: 1L

Serialized Fields

counter

int counter

nVar

int nVar

maxDLevel

int maxDLevel

visuTool

IVisualizationTool visuTool

restartVisuTool

IVisualizationTool restartVisuTool

cleanTool

IVisualizationTool cleanTool

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

serialVersionUID: 1L

Serialized Fields

counter

int counter

visuTool

IVisualizationTool visuTool

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

serialVersionUID: 1L

Serialized Fields

counter

int counter

positiveVisu

IVisualizationTool positiveVisu

negativeVisu

IVisualizationTool negativeVisu

restartVisu

IVisualizationTool restartVisu

cleanVisu

IVisualizationTool cleanVisu

nVar

int nVar

Class org.sat4j.tools.DimacsArrayReader extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

Class org.sat4j.tools.DimacsOutputSolver extends AbstractOutputSolver implements Serializable

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(ObjectInputStream stream)

Class org.sat4j.tools.DimacsStringSolver extends AbstractOutputSolver implements Serializable

serialVersionUID: 1L

Serialized Fields

out

StringBuffer out

firstCharPos

int firstCharPos

initBuilderSize

int initBuilderSize

maxvarid

int maxvarid

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(ObjectInputStream stream)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

pile

Vec<T> pile

currentNodeName

String currentNodeName

estOrange

boolean estOrange

mapping

Map<K,V> mapping

Class org.sat4j.tools.ExtendedDimacsArrayReader extends DimacsArrayReader implements Serializable

serialVersionUID: 1L

Serialized Fields

gater

GateTranslator gater

Class org.sat4j.tools.GateTranslator extends SolverDecorator<ISolver> implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

solverService

ISolverService solverService

visuTool

IVisualizationTool visuTool

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

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

counter

int counter

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

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

counter

int counter

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

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

restartTool

IVisualizationTool restartTool

cleanTool

IVisualizationTool cleanTool

counter

int counter

maxSize

int maxSize

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

serialVersionUID: 1L

Serialized Fields

solverService

ISolverService solverService

visuTool

IVisualizationTool visuTool

Class org.sat4j.tools.LexicoDecorator extends SolverDecorator<T extends ISolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

criteria

List<E> criteria

currentCriterion

int currentCriterion

prevConstr

IConstr prevConstr

currentValue

Number currentValue

prevfullmodel

int[] prevfullmodel

prevboolmodel

boolean[] prevboolmodel

isSolutionOptimal

boolean isSolutionOptimal

Class org.sat4j.tools.ManyCore extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

availableSolvers

String[] availableSolvers

solvers

List<E> solvers

numberOfSolvers

int numberOfSolvers

winnerId

int winnerId

resultFound

boolean resultFound

remainingSolvers

int remainingSolvers

sleepTime

int sleepTime

solved

boolean solved

solversStats

IVec<T> solversStats

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

trivialfalsity

boolean trivialfalsity

bound

long bound

nbModelFound

long nbModelFound

Class org.sat4j.tools.MultiTracing extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

listeners

Collection<E> listeners

Class org.sat4j.tools.OptToSatAdapter extends SolverDecorator<ISolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

problem

IOptimizationProblem problem

modelComputed

boolean modelComputed

optimalValueForced

boolean optimalValueForced

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

serialVersionUID: 1L

Serialized Fields

solverService

ISolverService solverService

nbsolutions

int nbsolutions

Class org.sat4j.tools.SearchListenerAdapter extends Object implements Serializable

serialVersionUID: 1L

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

lowerBound

int lowerBound

Class org.sat4j.tools.SolverDecorator extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

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

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

cleanVisuTool

IVisualizationTool cleanVisuTool

restartVisuTool

IVisualizationTool restartVisuTool

begin

long begin

end

long end

counter

int counter

index

long index

nVar

int nVar

maxY

double maxY

Class org.sat4j.tools.TextOutputTracing extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

mapping

Map<K,V> mapping

Package org.sat4j.tools.xplain

Class org.sat4j.tools.xplain.DeletionStrategy extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

computationCanceled

boolean computationCanceled

Class org.sat4j.tools.xplain.HighLevelXplain extends SolverDecorator<T extends ISolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

constrs

Map<K,V> constrs

assump

IVecInt assump

lastCreatedVar

int lastCreatedVar

pooledVarId

boolean pooledVarId

xplainStrategy

MinimizationStrategy xplainStrategy

highLevelToVar

Map<K,V> highLevelToVar

Class org.sat4j.tools.xplain.InsertionStrategy extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

computationCanceled

boolean computationCanceled

Class org.sat4j.tools.xplain.QuickXplain2001Strategy extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

computationCanceled

boolean computationCanceled

Class org.sat4j.tools.xplain.QuickXplainStrategy extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

computationCanceled

boolean computationCanceled

Class org.sat4j.tools.xplain.Xplain extends SolverDecorator<T extends ISolver> implements Serializable

serialVersionUID: 1L

Serialized Fields

constrs

Map<K,V> constrs

assump

IVecInt assump

lastCreatedVar

int lastCreatedVar

pooledVarId

boolean pooledVarId

lastClause

IVecInt lastClause

lastConstr

IConstr lastConstr

skipDuplicatedEntries

boolean skipDuplicatedEntries

xplainStrategy

MinimizationStrategy xplainStrategy