private void readObject(ObjectInputStream arg0) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
long beginTime
ExitCode exitCode
Reader reader
boolean displaySolutionLine
ISolver solver
IProblem problem
boolean silent
boolean prime
ILauncherMode launcherMode
ASolverFactory<T extends ISolver> factory
IVecInt vec
int nbelem
Object[] myarray
WeightedMaxSatDecorator wmsd
int nbnewvar
BigInteger falsifiedWeight
boolean maxVarIdFixed
boolean equivalence
IVecInt lits
IVec<T> coefs
ObjectiveFunction obj
Set<E> unitClauses
boolean noNewVarForUnitSoftClauses
BigInteger top
ILits lits
IVec<T> tmp
UnitPropagationListener solver
Learner learner
int backtrackLevel
Constr reason
ILogAble out
IVec<T> constrs
IVec<T> learnts
double claInc
double claDecay
int qhead
IVecInt trail
IVecInt trailLim
int rootLevel
int[] model
ILits voc
IOrder order
ActivityComparator comparator
SolverStats stats
LearningStrategy<D extends DataStructureFactory> learner
boolean undertimeout
long timeout
boolean timeBasedTimeout
DataStructureFactory dsfactory
SearchParams params
IVecInt __dimacs_out
SearchListener<S extends ISolverService> slistener
RestartStrategy restarter
Map<K,V> constrTypes
boolean isDBSimplificationAllowed
IVecInt learnedLiterals
boolean verbose
boolean keepHot
String prefix
int declaredMaxVarId
boolean[] mseen
IVecInt mpreason
IVecInt moutLearnt
ISimplifier SIMPLE_SIMPLIFICATION
ISimplifier EXPENSIVE_SIMPLIFICATION
ISimplifier EXPENSIVE_SIMPLIFICATION_WLONLY
ISimplifier simplifier
IVecInt analyzetoclear
IVecInt analyzestack
IVec<T> watched
Pair analysisResult
boolean[] userbooleanmodel
IVecInt unsatExplanationInTermsOfAssumptions
IVecInt implied
IVecInt decisions
int[] fullmodel
int[] prime
double timebegin
boolean needToReduceDB
ConflictTimerContainer conflictCount
ConflictTimer memoryTimer
LearnedConstraintsDeletionStrategy memory_based
ConflictTimer lbdTimer
LearnedConstraintsDeletionStrategy glucose
LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy
boolean lastConflictMeansUnsat
Constr sharedConflict
int starts
long decisions
long propagations
long inspects
long conflicts
long learnedliterals
long learnedbinaryclauses
long learnedternaryclauses
long learnedclauses
long ignoredclauses
long rootSimplifications
long reducedliterals
long changedreason
int reduceddb
int shortcuts
long updateLBD
ASolverFactory<T extends ISolver> factory
ObjectiveFunction obfct
XplainPB quickxplain
int indxConstrObj
int nbOfConstraints
ObjectiveFunction obj
boolean inserted
IVec<T> coeffs
IVecInt vars
BigInteger correction
int indxConstrObj
int nbOfConstraints
ObjectiveFunction obj
boolean inserted
IOptimizationProblem problem
boolean modelComputed
IVecInt assumps
long begin
ObjectiveFunction objfct
GateTranslator gator
IPBSolver solver
BigInteger objectiveValue
int[] prevmodel
int[] prevmodelwithadditionalvars
boolean[] prevfullmodel
IConstr previousPBConstr
boolean isSolutionOptimal
boolean nonOptimalMeansSatisfiable
boolean useAnImplicantForEvaluation
int solverTimeout
int optimizationTimeout
int indxConstrObj
int nbOfConstraints
ObjectiveFunction obj
boolean inserted
Map<K,V> mapping
IPBConstructor ipbc
ICardConstructor icardc
IClauseConstructor iclausec
int lastCreatedVar
boolean pooledVarId
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState external
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState internal
org.sat4j.tools.AbstractClauseSelectorSolver.SelectorState selectedState
IVecInt pLiterals
SolutionFoundListener modelListener
EncodingStrategyAdapter encodingAdapter
int counter
int nVar
IVisualizationTool conflictDepthVisu
IVisualizationTool conflictDepthRestartVisu
IVisualizationTool conflictDepthCleanVisu
int counter
int nVar
int maxDLevel
IVisualizationTool visuTool
IVisualizationTool restartVisuTool
IVisualizationTool cleanTool
int counter
IVisualizationTool visuTool
int counter
IVisualizationTool positiveVisu
IVisualizationTool negativeVisu
IVisualizationTool restartVisu
IVisualizationTool cleanVisu
int nVar
ISolver solver
private void readObject(ObjectInputStream arg0)
StringBuffer out
int firstCharPos
int initBuilderSize
int maxvarid
private void readObject(ObjectInputStream arg0) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
GateTranslator gater
String filename
PrintStream out
ISolverService solverService
IVisualizationTool visuTool
IVisualizationTool visuTool
int counter
IVisualizationTool visuTool
int counter
IVisualizationTool visuTool
IVisualizationTool restartTool
IVisualizationTool cleanTool
int counter
int maxSize
ISolverService solverService
IVisualizationTool visuTool
int[] lastModel
SolutionFoundListener sfl
Collection<E> listeners
Collection<E> addedVars
IOptimizationProblem problem
boolean modelComputed
boolean optimalValueForced
ISolverService solverService
int nbsolutions
SolutionFoundListener sfl
ISolverService solverService
SolutionFoundListener sfl
ISolver solver
IVisualizationTool visuTool
IVisualizationTool cleanVisuTool
IVisualizationTool restartVisuTool
long begin
long end
int counter
long index
double maxY
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.