Serialized Form

Package org.sat4j

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

beginTime

long beginTime

exitCode

ExitCode exitCode

reader

Reader reader

solver

ISolver solver

silent

boolean silent

Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Class org.sat4j.BasicLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

factory

ASolverFactory<T extends ISolver> factory

Package org.sat4j.core

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

vec

IVec<T> vec

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

serialVersionUID: 1L

Serialized Fields

vec

IVecInt vec

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.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<ISolver> implements Serializable

serialVersionUID: 1L

Package org.sat4j.minisat.constraints

Class org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends AbstractDataStructureFactory<ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.AbstractDataStructureFactory extends java.lang.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.ClausalDataStructureCB extends AbstractDataStructureFactory<ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.ClausalDataStructureCBHT extends AbstractDataStructureFactory<ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.ClausalDataStructureHT extends AbstractDataStructureFactory<ILits> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.MixedDataStructureDaniel extends AbstractDataStructureFactory<ILits> implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.MixedDataStructureWithBinary extends AbstractDataStructureFactory<ILits2> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary extends AbstractDataStructureFactory<ILits23> 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.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.BinaryClause extends java.lang.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.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.HTClause extends java.lang.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.Lits extends java.lang.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.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.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.TernaryClauses extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

stubs

IVecInt stubs

voc

ILits voc

phead

int phead

Package org.sat4j.minisat.core

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

pile

Vec<T> pile

currentNodeName

java.lang.String currentNodeName

estOrange

boolean estOrange

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.Pair extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

backtrackLevel

int backtrackLevel

reason

Constr reason

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

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<L extends ILits> order

comparator

org.sat4j.minisat.core.ActivityComparator comparator

stats

SolverStats stats

learner

LearningStrategy<L extends ILits,D extends DataStructureFactory<L>> learner

analyzer

AssertingClauseGenerator analyzer

undertimeout

boolean undertimeout

timeout

long timeout

timeBasedTimeout

boolean timeBasedTimeout

dsfactory

DataStructureFactory<L extends ILits> dsfactory

params

SearchParams params

__dimacs_out

IVecInt __dimacs_out

slistener

SearchListener slistener

restarter

RestartStrategy restarter

constrTypes

java.util.Map<K,V> constrTypes

isDBSimplificationAllowed

boolean isDBSimplificationAllowed

learnedLiterals

int learnedLiterals

mseen

boolean[] mseen

preason

IVecInt preason

outLearnt

IVecInt outLearnt

SIMPLE_SIMPLIFICATION

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

EXPENSIVE_SIMPLIFICATION

org.sat4j.minisat.core.Solver.ISimplifier EXPENSIVE_SIMPLIFICATION

simplifier

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

analyzetoclear

IVecInt analyzetoclear

analyzestack

IVecInt analyzestack

analysisResult

Pair analysisResult

fullmodel

boolean[] fullmodel

timebegin

double timebegin

needToReduceDB

boolean needToReduceDB

conflictCount

org.sat4j.minisat.core.ConflictTimer conflictCount

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

ignoredclauses

long ignoredclauses

rootSimplifications

long rootSimplifications

reducedliterals

long reducedliterals

changedreason

long changedreason

reduceddb

int reduceddb

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

serialVersionUID: 1L

Package org.sat4j.minisat.learning

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

serialVersionUID: 1L

Serialized Fields

percent

double percent

order

IOrder<L extends ILits> order

maxpercent

int maxpercent

Class org.sat4j.minisat.learning.ClauseOnlyLearning extends LimitedLearning<L extends ILits,D extends DataStructureFactory<L>> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.learning.FixedLengthLearning extends LimitedLearning<L extends ILits,D extends DataStructureFactory<L>> implements Serializable

serialVersionUID: 1L

Serialized Fields

maxlength

int maxlength

bound

int bound

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

serialVersionUID: 1L

Serialized Fields

none

NoLearningButHeuristics<L extends ILits,D extends DataStructureFactory<L>> none

all

MiniSATLearning<L extends ILits,D extends DataStructureFactory<L>> all

lits

ILits lits

stats

SolverStats stats

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

serialVersionUID: 1L

Serialized Fields

dsf

DataStructureFactory<L extends ILits> dsf

Class org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning<L extends ILits,D extends DataStructureFactory<L>> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning<L extends ILits,D extends DataStructureFactory<L>> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.learning.PercentLengthLearning extends LimitedLearning<L extends ILits,D extends DataStructureFactory<L>> implements Serializable

serialVersionUID: 1L

Serialized Fields

maxpercent

int maxpercent

bound

int bound

Package org.sat4j.minisat.orders

Class org.sat4j.minisat.orders.JWOrder extends VarOrder<ILits23> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.orders.MyOrder extends VarOrder<ILits2> implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy extends java.lang.Object 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 java.lang.Object implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.orders.PureOrder extends VarOrder<ILits> implements Serializable

serialVersionUID: 1L

Serialized Fields

period

int period

cpt

int cpt

Class org.sat4j.minisat.orders.RandomLiteralSelectionStrategy extends java.lang.Object 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.VarOrder extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

activity

double[] activity

mesure heuristique de l'activite d'une variable.

lastVar

int lastVar

Derniere variable choisie

order

int[] order

Ordre des variables

varDecay

double varDecay

varInc

double varInc

increment pour l'activite des variables.

varpos

int[] varpos

position des variables

lits

ILits lits

nullchoice

long nullchoice

phaseStrategy

IPhaseSelectionStrategy phaseStrategy

Class org.sat4j.minisat.orders.VarOrderHeap extends java.lang.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 java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

inner

double inner

outer

double outer

conflicts

long conflicts

params

SearchParams params

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

serialVersionUID: 1L

Serialized Fields

factor

int factor

count

int count

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

serialVersionUID: 1L

Serialized Fields

nofConflicts

double nofConflicts

params

SearchParams params

Class org.sat4j.minisat.restarts.NoRestarts extends java.lang.Object implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

nborigvars

int nborigvars

nbexpectedclauses

int nbexpectedclauses

nbnewvar

int nbnewvar

prevfullmodel

int[] prevfullmodel

prevmodel

int[] prevmodel

prevboolmodel

boolean[] prevboolmodel

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

serialVersionUID: 1L

Serialized Fields

lits

IVecInt lits

counter

int counter

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

serialVersionUID: 1L

Serialized Fields

prevmodel

int[] prevmodel

counter

int counter

literals

IVecInt literals

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.LecteurDimacs extends Reader implements Serializable

serialVersionUID: 1L

Serialized Fields

s

ISolver s

nbVars

int nbVars

nbClauses

int nbClauses

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.DimacsArrayReader extends java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream stream)

Serialized Fields

nbvars

int nbvars

nbclauses

int nbclauses

fixedNbClauses

boolean fixedNbClauses

firstConstr

boolean firstConstr

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

serialVersionUID: 1L

Serialized Fields

out

java.lang.StringBuffer out

nbvars

int nbvars

nbclauses

int nbclauses

fixedNbClauses

boolean fixedNbClauses

firstConstr

boolean firstConstr

firstCharPos

int firstCharPos

initBuilderSize

int initBuilderSize

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

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

serialVersionUID: 1L

Serialized Fields

problem

IOptimizationProblem problem

modelComputed

boolean modelComputed

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 java.lang.Object implements Serializable

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver