Serialized Form

Package org.sat4j

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

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

cputime

double cputime

Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable

Class org.sat4j.CSPLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Class org.sat4j.GenericOptLauncher extends AbstractOptimizationLauncher 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.LanceurPseudo2007 extends LanceurPseudo2005 implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

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.DefaultWLClause extends WLClause implements Serializable

serialVersionUID: 1L

Serialized Fields

learnt

boolean learnt

Class org.sat4j.minisat.constraints.cnf.LearntWLClause extends WLClause 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

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.OriginalWLClause extends WLClause 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

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<L extends ILits> implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.minisat.constraints.pb.PBSolverMerging extends PBSolver<ILits> implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

Serialized Fields

activity

double activity

constraint activity

coefs

java.math.BigInteger[] coefs

coefficients of the literals of the constraint

degree

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

locked

boolean locked

true if the constraint is the origin of unit propagation

watchCumul

java.math.BigInteger watchCumul

sum of the coefficients of the literals satisfied or unvalued

voc

ILits voc

constraint's vocabulary

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

serialVersionUID: 1L

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

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

analyzer

AssertingClauseGenerator analyzer

undertimeout

boolean undertimeout

timeout

long timeout

dsfactory

DataStructureFactory<L extends ILits> dsfactory

params

SearchParams params

__dimacs_out

IVecInt __dimacs_out

slistener

SearchListener slistener

restarter

RestartStrategy restarter

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

learntConstraint

Handle<T> learntConstraint

fullmodel

boolean[] fullmodel

timebegin

double timebegin

needToReduceDB

boolean needToReduceDB

freeMem

org.sat4j.minisat.core.ConflictTimer freeMem

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

serialVersionUID: 1L

Package org.sat4j.minisat.learning

Class org.sat4j.minisat.learning.ActiveLearning extends LimitedLearning<L extends ILits> 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> implements Serializable

serialVersionUID: 1L

Serialized Fields

maxpercent

int maxpercent

Class org.sat4j.minisat.learning.FixedLengthLearning extends LimitedLearning<L extends ILits> 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> none

all

MiniSATLearning<L extends ILits> all

lits

ILits lits

Class org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning<L extends ILits> 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> implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.minisat.learning.PercentLengthLearning extends LimitedLearning<L extends ILits> 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.PureOrder extends VarOrder<ILits> 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'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

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

phase

int[] phase

Class org.sat4j.minisat.orders.VarOrderHeapObjective extends VarOrderHeap<ILits> implements Serializable

serialVersionUID: 1L

Serialized Fields

obj

ObjectiveFunction obj

Class org.sat4j.minisat.orders.VarOrderHeapRsat extends VarOrderHeap<ILits> implements Serializable

serialVersionUID: 1L

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

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

Serialized Fields

nborigvars

int nborigvars

nbexpectedclauses

int nbexpectedclauses

nbnewvar

int nbnewvar

prevfullmodel

int[] prevfullmodel

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

serialVersionUID: 1L

Serialized Fields

vec

IVecInt vec

counter

int counter

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

serialVersionUID: 1L

Serialized Fields

costs

int[] costs

prevmodel

int[] prevmodel

vars

IVecInt vars

coeffs

IVec<T> coeffs

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

serialVersionUID: 1L

Serialized Fields

coeffs

IVec<T> coeffs

vars

IVecInt vars

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 AbstractSelectorVariablesDecorator implements Serializable

serialVersionUID: 1L

Serialized Fields

coefs

IVec<T> coefs

top

int top

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

nbConstraintsRead

int nbConstraintsRead

savedChar

char savedChar

charAvailable

boolean charAvailable

eofReached

boolean eofReached

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

nbProducts

int nbProducts

nbNewSymbols

int nbNewSymbols

contains the number of new symbols generated to linearize products

productStore

java.util.Map<K,V> productStore

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

serialVersionUID: 1L

Serialized Fields

clauses

int clauses

dimacs

java.lang.StringBuilder dimacs

bufSize

int bufSize

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.ExtendedDimacsArrayReader extends DimacsArrayReader implements Serializable

serialVersionUID: 1L

Serialized Fields

gater

GateTranslator gater

Class org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter extends DimacsArrayToDimacsConverter implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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