Serialized Form

Package org.sat4j

Class org.sat4j.AbstractLauncher extends java.lang.Object implements Serializable

Serialized Fields

beginTime

long beginTime

exitCode

ExitCode exitCode

reader

Reader reader

solver

ISolver solver

Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable

Class org.sat4j.CSPLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Class org.sat4j.Lanceur extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

factory

ASolverFactory factory

filename

java.lang.String filename

resultsfile

java.lang.String resultsfile

update

boolean update

replay

boolean replay

Class org.sat4j.LanceurPseudo2005 extends AbstractOptimizationLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

obfct

ObjectiveFunction obfct

Class org.sat4j.MaxSatLauncher extends AbstractOptimizationLauncher implements Serializable

serialVersionUID: 1L

Package org.sat4j.core

Class org.sat4j.core.DefaultComparator extends java.lang.Object implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

nbelem

int nbelem

myarray

java.lang.Object[] myarray

Class org.sat4j.core.Vec$1 extends java.lang.Object implements Serializable

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

serialVersionUID: 1L

Serialized Fields

nbelem

int nbelem

myarray

int[] myarray

Package org.sat4j.minisat

Class org.sat4j.minisat.SolverFactory extends ASolverFactory implements Serializable

serialVersionUID: 1L

Package org.sat4j.minisat.constraints

Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends java.lang.Object implements Serializable

Serialized Fields

lits

ILits lits

tmp

IVec<T> tmp

solver

UnitPropagationListener solver

learner

Learner learner

Class org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure extends AbstractPBDataStructureFactory implements Serializable

Class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory extends AbstractDataStructureFactory implements Serializable

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.ClausalDataStructureCB extends AbstractDataStructureFactory implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.ClausalDataStructureCBWL extends AbstractDataStructureFactory implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.ClausalDataStructureWL extends AbstractDataStructureFactory implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.MixedDataStructureDaniel extends ClausalDataStructureWL implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.MixedDataStructureWithBinary extends MixedDataStructureDaniel implements Serializable

serialVersionUID: 1L

Serialized Fields

mlits

ILits2 mlits

Class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary extends MixedDataStructureDaniel implements Serializable

serialVersionUID: 1L

Serialized Fields

mlits

ILits23 mlits

Class org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure extends PBMaxClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure extends PBMaxClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure extends PuebloPBMinClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PBMaxDataStructure extends AbstractPBDataStructureFactory implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PBMinClauseCardConstrDataStructure extends PuebloPBMinClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PBMinDataStructure extends AbstractPBDataStructureFactory implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure extends PuebloPBMinClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PuebloPBMinDataStructure extends AbstractPBDataStructureFactory implements Serializable

serialVersionUID: 1L

Package org.sat4j.minisat.constraints.card

Class org.sat4j.minisat.constraints.card.AtLeast extends java.lang.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 java.lang.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 java.lang.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.BinaryClauses extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

voc

ILits voc

clauses

IVecInt clauses

reason

int reason

conflictindex

int conflictindex

Class org.sat4j.minisat.constraints.cnf.CBClause extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

falsified

int falsified

learnt

boolean learnt

lits

int[] lits

voc

ILits voc

activity

double activity

Class org.sat4j.minisat.constraints.cnf.Lits extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

pool

boolean[] pool

realnVars

int realnVars

watches

IVec<T>[] watches

level

int[] level

truthValue

Lbool[] truthValue

reason

Constr[] reason

undos

IVec<T>[] undos

Class org.sat4j.minisat.constraints.cnf.Lits2 extends Lits implements Serializable

serialVersionUID: 1L

Serialized Fields

binclauses

BinaryClauses[] binclauses

Class org.sat4j.minisat.constraints.cnf.Lits23 extends Lits2 implements Serializable

serialVersionUID: 1L

Serialized Fields

ternclauses

TernaryClauses[] ternclauses

Class org.sat4j.minisat.constraints.cnf.MarkableLits extends Lits implements Serializable

serialVersionUID: 1L

Serialized Fields

marks

int[] marks

Class org.sat4j.minisat.constraints.cnf.MixableCBClause extends CBClause implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.cnf.TernaryClauses extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

stubs

IVecInt stubs

voc

ILits voc

phead

int phead

Class org.sat4j.minisat.constraints.cnf.WLClause extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

learnt

boolean learnt

activity

double activity

lits

int[] lits

voc

ILits voc

Package org.sat4j.minisat.constraints.pb

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

serialVersionUID: 1L

Serialized Fields

degree

java.math.BigInteger degree

learnt

boolean learnt

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

degree

java.math.BigInteger degree

learnt

boolean learnt

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

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.PBSolver extends Solver implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.PBSolverCard extends PBSolver implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.PBSolverClause extends PBSolver implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.PBSolverWithImpliedClause extends PBSolver implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.PuebloMinWatchPb extends MinWatchPb implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.WLClausePB extends WLClause implements Serializable

serialVersionUID: 1L

Package org.sat4j.minisat.core

Class org.sat4j.minisat.core.DotSearchListener extends java.lang.Object implements Serializable

Class org.sat4j.minisat.core.Handle extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

obj

java.lang.Object obj

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

serialVersionUID: 1L

Serialized Fields

heap

IVecInt heap

indices

IVecInt indices

activity

double[] activity

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

serialVersionUID: 1L

Serialized Fields

myarray

int[] myarray

size

int size

first

int first

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

serialVersionUID: 1L

Serialized Fields

claDecay

double claDecay

varDecay

double varDecay

conflictBoundIncFactor

double conflictBoundIncFactor

learntBoundIncFactor

double learntBoundIncFactor

initLearntBoundConstraintFactor

double initLearntBoundConstraintFactor

initConflictBound

int initConflictBound

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

serialVersionUID: 1L

Serialized Fields

constrs

IVec<T> constrs

List des contraintes du probl?me.

learnts

IVec<T> learnts

Liste des clauses apprises.

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

java.util.Comparator<T> comparator

stats

SolverStats stats

learner

LearningStrategy learner

analyzer

AssertingClauseGenerator analyzer

undertimeout

boolean undertimeout

timeout

int timeout

dsfactory

DataStructureFactory dsfactory

params

SearchParams params

__dimacs_out

IVecInt __dimacs_out

slistener

SearchListener slistener

seen

boolean[] seen

preason

IVecInt preason

outLearnt

IVecInt outLearnt

SIMPLE_SIMPLIFICATION

org.sat4j.minisat.core.Solver.ISimplifier SIMPLE_SIMPLIFICATION

simplifier

org.sat4j.minisat.core.Solver.ISimplifier simplifier

learntConstraint

Handle<T> learntConstraint

fullmodel

boolean[] fullmodel

timebegin

double timebegin

needToReduceDB

boolean needToReduceDB

Class org.sat4j.minisat.core.SolverStats extends java.lang.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

rootSimplifications

long rootSimplifications

reducedliterals

long reducedliterals

changedreason

long changedreason

reduceddb

int reduceddb

Class org.sat4j.minisat.core.TextOutputListener extends java.lang.Object implements Serializable

Package org.sat4j.minisat.learning

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

serialVersionUID: 1L

Serialized Fields

percent

double percent

order

IOrder order

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

serialVersionUID: 1L

Serialized Fields

maxlength

int maxlength

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

serialVersionUID: 1L

Serialized Fields

none

NoLearningButHeuristics none

all

MiniSATLearning all

maxpercent

int maxpercent

lits

ILits lits

bound

int bound

Class org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning implements Serializable

serialVersionUID: 1L

Serialized Fields

dsf

DataStructureFactory dsf

Class org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning implements Serializable

serialVersionUID: 1L

Package org.sat4j.minisat.orders

Class org.sat4j.minisat.orders.JWOrder extends VarOrder implements Serializable

serialVersionUID: 1L

Serialized Fields

lits

ILits23 lits

Class org.sat4j.minisat.orders.MyOrder extends VarOrder implements Serializable

serialVersionUID: 1L

Serialized Fields

lits

ILits2 lits

Class org.sat4j.minisat.orders.PureOrder extends VarOrder implements Serializable

serialVersionUID: 1L

Serialized Fields

period

int period

cpt

int cpt

Class org.sat4j.minisat.orders.VarOrder extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double[] activity

mesure heuristique de l'activit� d'une variable.

lastVar

int lastVar

Derni�re variable choisie

order

int[] order

Ordre des variables

varDecay

double varDecay

varInc

double varInc

incr�ment pour l'activit� des variables.

varpos

int[] varpos

position des variables

lits

ILits lits

nullchoice

long nullchoice

Class org.sat4j.minisat.orders.VarOrderHeap extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double[] activity

mesure heuristique de l'activit� d'une variable.

varDecay

double varDecay

varInc

double varInc

incr�ment pour l'activit� des variables.

lits

ILits lits

nullchoice

long nullchoice

heap

Heap heap

phase

int[] phase

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

serialVersionUID: 1L

Serialized Fields

obj

ObjectiveFunction obj

Package org.sat4j.minisat.uip

Class org.sat4j.minisat.uip.DecisionUIP extends java.lang.Object implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.uip.FirstUIP extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

Package org.sat4j.opt

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

serialVersionUID: 1L

Serialized Fields

nborigvars

int nborigvars

nbexpectedclauses

int nbexpectedclauses

nbnewvar

int nbnewvar

prevfullmodel

int[] prevfullmodel

vec

IVecInt vec

counter

int counter

Class org.sat4j.opt.MinOneDecorator extends SolverDecorator implements Serializable

serialVersionUID: 1L

Serialized Fields

prevmodel

int[] prevmodel

counter

int counter

literals

IVecInt literals

Class org.sat4j.opt.PseudoOptDecorator extends SolverDecorator implements Serializable

serialVersionUID: 1L

Serialized Fields

objfct

ObjectiveFunction objfct

prevmodel

int[] prevmodel

Class org.sat4j.opt.WeightedMaxSatDecorator extends SolverDecorator implements Serializable

serialVersionUID: 1L

Serialized Fields

nborigvars

int nborigvars

nbexpectedclauses

int nbexpectedclauses

nbnewvar

int nbnewvar

coefs

IVec<T> coefs

prevfullmodel

int[] prevfullmodel

counter

java.math.BigInteger counter

vec

IVecInt vec

Package org.sat4j.reader

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

serialVersionUID: 3258130241376368435L

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

serialVersionUID: 1L

Serialized Fields

expectedNbOfConstr

int expectedNbOfConstr

solver

ISolver solver

checkConstrNb

boolean checkConstrNb

formatString

java.lang.String formatString

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

map

java.util.Map<K,V> map

decode

IVec<T> decode

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

serialVersionUID: 1L

Serialized Fields

s

ISolver s

nbLit

int nbLit

nbClauses

int nbClauses

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

serialVersionUID: 1L

Serialized Fields

coeffs

IVec<T> coeffs

vars

IVecInt vars

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

serialVersionUID: 1L

Serialized Fields

solver

ISolver 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

nbVars

int nbVars

nbConstr

int nbConstr

savedChar

char savedChar

charAvailable

boolean charAvailable

eofReached

boolean eofReached

Class org.sat4j.reader.OPBReader2006 extends OPBReader2005 implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Package org.sat4j.specs

Class org.sat4j.specs.ContradictionException extends java.lang.Exception implements Serializable

serialVersionUID: 1L

Class org.sat4j.specs.TimeoutException extends java.lang.Exception implements Serializable

serialVersionUID: 1L

Package org.sat4j.tools

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

trivialfalsity

boolean trivialfalsity

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

Serialized Fields

configChanged

boolean configChanged

nbvars

int nbvars

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

Serialized Fields

solver

ISolver solver