Serialized Form

Package org.sat4j

Class org.sat4j.AbstractLauncher extends Object implements Serializable

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

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

Class org.sat4j.LightFactory extends ASolverFactory<ISolver> implements Serializable

serialVersionUID: 1460304168178023681L

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.Vec$1 extends Object implements Serializable

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

serialVersionUID: 1L

Serialized Fields

nbelem

int nbelem

myarray

int[] myarray

Package org.sat4j.maxsat

Class org.sat4j.maxsat.GenericOptLauncher extends AbstractOptimizationLauncher implements Serializable

serialVersionUID: 1L

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

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

nborigvars

int nborigvars

nbexpectedclauses

int nbexpectedclauses

falsifiedWeight

BigInteger falsifiedWeight

nbnewvar

int nbnewvar

prevmodel

int[] prevmodel

prevboolmodel

boolean[] prevboolmodel

prevfullmodel

int[] prevfullmodel

previousPBConstr

IConstr previousPBConstr

top

BigInteger top

counter

BigInteger counter

lits

IVecInt lits

coefs

IVec<T> coefs

obj

ObjectiveFunction obj

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.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.MixedDataStructureDanielCBWL extends MixedDataStructureDanielWL 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

Package org.sat4j.minisat.core

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

constrs

IVec<T> constrs

learnts

IVec<T> learnts

claInc

double claInc

claDecay

double claDecay

qhead

int qhead

trail

IVecInt trail

trailLim

IVecInt trailLim

rootLevel

int rootLevel

model

int[] model

voc

ILits voc

order

IOrder order

comparator

org.sat4j.minisat.core.ActivityComparator comparator

stats

SolverStats stats

learner

LearningStrategy<D extends DataStructureFactory> learner

analyzer

AssertingClauseGenerator analyzer

undertimeout

boolean undertimeout

timeout

long timeout

timeBasedTimeout

boolean timeBasedTimeout

dsfactory

DataStructureFactory dsfactory

params

SearchParams params

__dimacs_out

IVecInt __dimacs_out

slistener

SearchListener slistener

restarter

RestartStrategy restarter

constrTypes

Map<K,V> constrTypes

isDBSimplificationAllowed

boolean isDBSimplificationAllowed

learnedLiterals

IVecInt learnedLiterals

verbose

boolean verbose

prefix

String prefix

mseen

boolean[] mseen

mpreason

IVecInt mpreason

moutLearnt

IVecInt moutLearnt

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

unsatExplanationInTermsOfAssumptions

IVecInt unsatExplanationInTermsOfAssumptions

timebegin

double timebegin

needToReduceDB

boolean needToReduceDB

conflictCount

org.sat4j.minisat.core.ConflictTimer conflictCount

memory_based

org.sat4j.minisat.core.Solver.LearnedConstraintsDeletionStrategy memory_based

glucose

org.sat4j.minisat.core.Solver.LearnedConstraintsDeletionStrategy glucose

learnedConstraintsDeletionStrategy

org.sat4j.minisat.core.Solver.LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy

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

Package org.sat4j.pb

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

serialVersionUID: 1L

Serialized Fields

solver

IPBSolver solver

map

Map<K,V> map

decode

IVec<T> decode

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

serialVersionUID: 1L

Serialized Fields

coeffs

IVec<T> coeffs

vars

IVecInt vars

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.PseudoIteratorDecorator extends PseudoOptDecorator implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.PseudoOptDecorator extends PBSolverDecorator implements Serializable

serialVersionUID: 1L

Serialized Fields

objfct

ObjectiveFunction objfct

objectiveValue

BigInteger objectiveValue

prevmodel

int[] prevmodel

prevfullmodel

boolean[] prevfullmodel

previousPBConstr

IConstr previousPBConstr

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

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure extends PBMaxClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure extends PBMaxClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure extends PuebloPBMinClauseCardConstrDataStructure 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.tools

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

serialVersionUID: 1L

Serialized Fields

filename

String filename

out

PrintStream out

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

serialVersionUID: 1L

Serialized Fields

filename

String filename

out

PrintStream out

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

serialVersionUID: 1L

Serialized Fields

filename

String filename

out

PrintStream out

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

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)

Serialized Fields

nbvars

int nbvars

nbclauses

int nbclauses

fixedNbClauses

boolean fixedNbClauses

firstConstr

boolean firstConstr

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

serialVersionUID: 1L

Serialized Fields

out

StringBuffer out

nbvars

int nbvars

nbclauses

int nbclauses

fixedNbClauses

boolean fixedNbClauses

firstConstr

boolean firstConstr

firstCharPos

int firstCharPos

initBuilderSize

int initBuilderSize

maxvarid

int maxvarid

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)
                 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.LearnedClauseSizeTracing extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

filename

String filename

out

PrintStream out

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

int bound

nbModelFound

int nbModelFound

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.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.TextOutputTracing extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

mapping

Map<K,V> mapping