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
BigInteger degree
boolean learnt
BigInteger watchCumul
Map<K,V> litToCoeffs
BigInteger bigDegree
boolean learnt
BigInteger watchCumul
boolean[] watched
int[] watching
int watchingCount
long watchCumul
boolean[] watched
int[] watching
int watchingCount
long watchCumul
boolean[] watched
int[] watching
int watchingCount
double activity
BigInteger[] coefs
BigInteger sumcoefs
BigInteger degree
int[] lits
boolean learnt
ILits voc
double activity
long[] coefs
long sumcoefs
long degree
int[] lits
boolean learnt
ILits voc
double activity
BigInteger[] bigCoefs
BigInteger bigDegree
long[] coefs
long sumcoefs
long degree
int[] lits
boolean learnt
ILits voc
ObjectiveFunction objf
PBSolverStats stats
IConstr previousConstr
LearnedConstraintsDeletionStrategy objectiveFunctionBased
IOrderObjective objorder
ObjectiveFunction obj
IVecInt varExplain
IPBSolver solver
IVecInt lits
IVec<T> coeffs
BigInteger d
String operator
IVecInt objectiveVars
IVec<T> objectiveCoeffs
boolean hasObjFunc
boolean hasVariablesExplanation
int nbVars
int nbConstr
int nbConstraintsRead
char savedChar
boolean charAvailable
boolean eofReached
boolean eolReached
boolean isWbo
BigInteger softLimit
boolean softConstraint
LexicoDecoratorPB lexico
IPBSolver solver
String filename
PrintStream out
long index
List<E> objs
BigInteger bigCurrentValue
IPBSolverService solverService
ObjectiveFunction obj
SolutionFoundListener sfl
BigInteger currentValue
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.