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

prime

boolean prime

Class org.sat4j.AbstractOptimizationLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

incomplete

boolean incomplete

displaySolutionLine

boolean displaySolutionLine

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

Class org.sat4j.MUSLauncher extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

mus

int[] mus

xplain

Explainer xplain

highLevel

boolean highLevel

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

Serialized Fields

wmsd

WeightedMaxSatDecorator wmsd

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

isSolutionOptimal

boolean isSolutionOptimal

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

nbnewvar

int nbnewvar

falsifiedWeight

BigInteger falsifiedWeight

maxVarIdFixed

boolean maxVarIdFixed

equivalence

boolean equivalence

lits

IVecInt lits

coefs

IVec<T> coefs

obj

ObjectiveFunction obj

top

BigInteger top

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.ClausalDataStructureWL extends AbstractDataStructureFactory 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

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

serialVersionUID: 1L

Package org.sat4j.minisat.core

Class org.sat4j.minisat.core.ActivityComparator extends Object implements Serializable

serialVersionUID: 1L

Class org.sat4j.minisat.core.ConflictTimerAdapter extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

bound

int bound

Class org.sat4j.minisat.core.ConflictTimerContainer extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

timers

IVec<T> timers

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

out

ICDCLLogger out

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

ActivityComparator comparator

stats

SolverStats stats

learner

LearningStrategy<D extends DataStructureFactory> learner

undertimeout

boolean undertimeout

timeout

long timeout

timeBasedTimeout

boolean timeBasedTimeout

dsfactory

DataStructureFactory dsfactory

params

SearchParams params

__dimacs_out

IVecInt __dimacs_out

slistener

SearchListener<S extends ISolverService> slistener

restarter

RestartStrategy restarter

constrTypes

Map<K,V> constrTypes

isDBSimplificationAllowed

boolean isDBSimplificationAllowed

learnedLiterals

IVecInt learnedLiterals

verbose

boolean verbose

keepHot

boolean keepHot

prefix

String prefix

declaredMaxVarId

int declaredMaxVarId

mseen

boolean[] mseen

mpreason

IVecInt mpreason

moutLearnt

IVecInt moutLearnt

SIMPLE_SIMPLIFICATION

ISimplifier SIMPLE_SIMPLIFICATION

EXPENSIVE_SIMPLIFICATION

ISimplifier EXPENSIVE_SIMPLIFICATION

EXPENSIVE_SIMPLIFICATION_WLONLY

ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY

simplifier

ISimplifier simplifier

analyzetoclear

IVecInt analyzetoclear

analyzestack

IVecInt analyzestack

watched

IVec<T> watched

analysisResult

Pair analysisResult

userbooleanmodel

boolean[] userbooleanmodel

unsatExplanationInTermsOfAssumptions

IVecInt unsatExplanationInTermsOfAssumptions

implied

IVecInt implied

decisions

IVecInt decisions

fullmodel

int[] fullmodel

prime

int[] prime

timebegin

double timebegin

needToReduceDB

boolean needToReduceDB

conflictCount

ConflictTimerContainer conflictCount

memoryTimer

ConflictTimer memoryTimer

memory_based

LearnedConstraintsDeletionStrategy memory_based

lbdTimer

ConflictTimer lbdTimer

glucose

LearnedConstraintsDeletionStrategy glucose

learnedConstraintsDeletionStrategy

LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy

lastConflictMeansUnsat

boolean lastConflictMeansUnsat

sharedConflict

Constr sharedConflict

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

shortcuts

int shortcuts

updateLBD

long updateLBD

Package org.sat4j.pb

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

serialVersionUID: 1L

Serialized Fields

bestModel

int[] bestModel

bestFullModel

boolean[] bestFullModel

previousPBConstr

IConstr previousPBConstr

addedConstr

IConstr addedConstr

maxValue

int maxValue

objectiveValue

Number objectiveValue

optimumFound

boolean optimumFound

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.LPStringSolver extends DimacsStringSolver implements Serializable

serialVersionUID: 1L

Serialized Fields

indxConstrObj

int indxConstrObj

nbOfConstraints

int nbOfConstraints

obj

ObjectiveFunction obj

inserted

boolean inserted

Class org.sat4j.pb.ObjectiveFunction extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

coeffs

IVec<T> coeffs

vars

IVecInt vars

correction

BigInteger correction

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

serialVersionUID: 1L

Serialized Fields

objfct

ObjectiveFunction objfct

gator

GateTranslator gator

solver

IPBSolver solver

bitsLiterals

IVecInt bitsLiterals

fixedLiterals

IVecInt fixedLiterals

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Serialized Fields

objectiveValue

BigInteger objectiveValue

prevmodel

int[] prevmodel

prevmodelwithadditionalvars

int[] prevmodelwithadditionalvars

prevfullmodel

boolean[] prevfullmodel

previousPBConstr

IConstr previousPBConstr

isSolutionOptimal

boolean isSolutionOptimal

nonOptimalMeansSatisfiable

boolean nonOptimalMeansSatisfiable

useAnImplicantForEvaluation

boolean useAnImplicantForEvaluation

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

Serialized Fields

ipbc

IPBConstructor ipbc

icardc

ICardConstructor icardc

iclausec

IClauseConstructor iclausec

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.PBLongMaxClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

Class org.sat4j.pb.constraints.PBLongMinClauseCardConstrDataStructure extends AbstractPBClauseCardConstrDataStructure implements Serializable

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

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

serialVersionUID: 1L

Class org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure extends AbstractPBClauseCardConstrDataStructure 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.AbstractOutputSolver extends Object implements Serializable

serialVersionUID: 1L

Serialized Fields

nbvars

int nbvars

nbclauses

int nbclauses

fixedNbClauses

boolean fixedNbClauses

firstConstr

boolean firstConstr

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

serialVersionUID: 1L

Serialized Fields

encodingAdapter

EncodingStrategyAdapter encodingAdapter

Class org.sat4j.tools.ConflictDepthTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

nVar

int nVar

conflictDepthVisu

IVisualizationTool conflictDepthVisu

conflictDepthRestartVisu

IVisualizationTool conflictDepthRestartVisu

conflictDepthCleanVisu

IVisualizationTool conflictDepthCleanVisu

Class org.sat4j.tools.ConflictLevelTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

nVar

int nVar

maxDLevel

int maxDLevel

visuTool

IVisualizationTool visuTool

restartVisuTool

IVisualizationTool restartVisuTool

cleanTool

IVisualizationTool cleanTool

Class org.sat4j.tools.DecisionLevelTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

visuTool

IVisualizationTool visuTool

Class org.sat4j.tools.DecisionTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

counter

int counter

positiveVisu

IVisualizationTool positiveVisu

negativeVisu

IVisualizationTool negativeVisu

restartVisu

IVisualizationTool restartVisu

cleanVisu

IVisualizationTool cleanVisu

nVar

int nVar

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

serialVersionUID: 1L

Serialized Fields

solver

ISolver solver

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

serialVersionUID: 1L

Serialization Methods

readObject

private void readObject(ObjectInputStream arg0)

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

serialVersionUID: 1L

Serialized Fields

out

StringBuffer out

firstCharPos

int firstCharPos

initBuilderSize

int initBuilderSize

maxvarid

int maxvarid

Class org.sat4j.tools.DotSearchTracing extends SearchListenerAdapter<ISolverService> 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.HeuristicsTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

solverService

ISolverService solverService

visuTool

IVisualizationTool visuTool

Class org.sat4j.tools.LBDTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

counter

int counter

Class org.sat4j.tools.LearnedClauseSizeTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

counter

int counter

Class org.sat4j.tools.LearnedClausesSizeTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

restartTool

IVisualizationTool restartTool

cleanTool

IVisualizationTool cleanTool

counter

int counter

maxSize

int maxSize

Class org.sat4j.tools.LearnedTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

solverService

ISolverService solverService

visuTool

IVisualizationTool visuTool

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

serialVersionUID: 1L

Serialized Fields

criteria

List<E> criteria

currentCriterion

int currentCriterion

prevConstr

IConstr prevConstr

currentValue

Number currentValue

prevfullmodel

int[] prevfullmodel

prevboolmodel

boolean[] prevboolmodel

isSolutionOptimal

boolean isSolutionOptimal

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

serialVersionUID: 1L

Serialized Fields

availableSolvers

String[] availableSolvers

solvers

List<E> solvers

numberOfSolvers

int numberOfSolvers

winnerId

int winnerId

resultFound

boolean resultFound

remainingSolvers

int remainingSolvers

sleepTime

int sleepTime

solved

boolean solved

solversStats

IVec<T> solversStats

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

long bound

nbModelFound

long nbModelFound

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

serialVersionUID: 1L

Serialized Fields

listeners

Collection<E> listeners

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.SearchEnumeratorListener extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

solverService

ISolverService solverService

nbsolutions

int nbsolutions

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

serialVersionUID: 1L

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.SpeedTracing extends SearchListenerAdapter<ISolverService> implements Serializable

serialVersionUID: 1L

Serialized Fields

visuTool

IVisualizationTool visuTool

cleanVisuTool

IVisualizationTool cleanVisuTool

restartVisuTool

IVisualizationTool restartVisuTool

begin

long begin

end

long end

counter

int counter

index

long index

nVar

int nVar

maxY

double maxY

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

serialVersionUID: 1L

Serialized Fields

mapping

Map<K,V> mapping