Serialized Form

Package org.sat4j.core

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.Vec$2 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.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.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.PBMaxDataStructure extends AbstractPBDataStructureFactory implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.PBMinDataStructure 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

n

int n

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

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

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

id

int id

Package org.sat4j.minisat.constraints.pb

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

serialVersionUID: 1L

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.PBSolver extends Solver implements Serializable

serialVersionUID: 1L

Package org.sat4j.minisat.core

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

timebegin

double timebegin

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

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

randchoice

long randchoice

rand

java.util.Random rand

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

randchoice

long randchoice

rand

java.util.Random rand

heap

Heap heap

phase

int[] phase

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

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

serialVersionUID: 3258130241376368435L

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

serialVersionUID: 1L

Serialized Fields

expectedNbOfConstr

int expectedNbOfConstr

solver

ISolver solver

checkConstrNb

boolean checkConstrNb

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

serialVersionUID: 1L

Class org.sat4j.reader.GoodOPBReader extends java.lang.Object 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 java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

s

ISolver s

nbLit

int nbLit

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

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

decode

IVec<T> decode

lits

IVecInt lits

coeffs

IVec<T> coeffs

d

java.math.BigInteger d

operator

java.lang.String operator

map

java.util.Map<K,V> map

objectiveVars

IVecInt objectiveVars

objectiveCoeffs

IVec<T> objectiveCoeffs

hasObjFunc

boolean hasObjFunc

savedChar

char savedChar

charAvailable

boolean charAvailable

eofReached

boolean eofReached

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.SolutionCounter extends SolverDecorator implements Serializable

serialVersionUID: 1L

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

Serialized Fields

solver

ISolver solver