toulbar2
|
This is the complete list of members for WeightedCSP, including all inherited members.
assign(int varIndex, Value newValue)=0 | WeightedCSP | pure virtual |
assignLS(vector< int > &varIndexes, vector< Value > &newValues)=0 | WeightedCSP | pure virtual |
cartProd(BigInteger &cartesianProduct)=0 | WeightedCSP | pure virtual |
decrease(int varIndex, Value newSup)=0 | WeightedCSP | pure virtual |
dump(ostream &os, bool original=true)=0 | WeightedCSP | pure virtual |
enforceUb()=0 | WeightedCSP | pure virtual |
enumerated(int varIndex) const =0 | WeightedCSP | pure virtual |
finiteUb() const =0 | WeightedCSP | pure virtual |
getBestValue(int varIndex) const =0 | WeightedCSP | pure virtual |
getDACOrder(int varIndex) const =0 | WeightedCSP | pure virtual |
getDDualBound() const =0 | WeightedCSP | pure virtual |
getDegree(int varIndex) const =0 | WeightedCSP | pure virtual |
getDLb() const =0 | WeightedCSP | pure virtual |
getDomainInitSize(int varIndex) const =0 | WeightedCSP | pure virtual |
getDomainSize(int varIndex) const =0 | WeightedCSP | pure virtual |
getDomainSizeSum() const =0 | WeightedCSP | pure virtual |
getDPrimalBound() const =0 | WeightedCSP | pure virtual |
getDUb() const =0 | WeightedCSP | pure virtual |
getEnumDomain(int varIndex, Value *array)=0 | WeightedCSP | pure virtual |
getEnumDomainAndCost(int varIndex, ValueCost *array)=0 | WeightedCSP | pure virtual |
getIndex() const =0 | WeightedCSP | pure virtual |
getInf(int varIndex) const =0 | WeightedCSP | pure virtual |
getIsPartOfOptimalSolution()=0 | WeightedCSP | pure virtual |
getLb() const =0 | WeightedCSP | pure virtual |
getListSuccessors()=0 | WeightedCSP | pure virtual |
getMaxDomainSize() const =0 | WeightedCSP | pure virtual |
getMaxUnaryCost(int varIndex) const =0 | WeightedCSP | pure virtual |
getMaxUnaryCostValue(int varIndex) const =0 | WeightedCSP | pure virtual |
getName() const =0 | WeightedCSP | pure virtual |
getName(int varIndex) const =0 | WeightedCSP | pure virtual |
getNbDEE() const =0 | WeightedCSP | pure virtual |
getSolution(Cost *cost_ptr=NULL)=0 | WeightedCSP | pure virtual |
getSolver() const =0 | WeightedCSP | pure virtual |
getSup(int varIndex) const =0 | WeightedCSP | pure virtual |
getSupport(int varIndex) const =0 | WeightedCSP | pure virtual |
getTrueDegree(int varIndex) const =0 | WeightedCSP | pure virtual |
getUb() const =0 | WeightedCSP | pure virtual |
getUnaryCost(int varIndex, Value v) const =0 | WeightedCSP | pure virtual |
getValue(int varIndex) const =0 | WeightedCSP | pure virtual |
getWeightedDegree(int varIndex) const =0 | WeightedCSP | pure virtual |
increase(int varIndex, Value newInf)=0 | WeightedCSP | pure virtual |
increaseLb(Cost addLb)=0 | WeightedCSP | pure virtual |
isGlobal()=0 | WeightedCSP | pure virtual |
makeEnumeratedVariable(string n, Value iinf, Value isup)=0 | WeightedCSP | pure virtual |
makeEnumeratedVariable(string n, Value *d, int dsize)=0 | WeightedCSP | pure virtual |
makeIntervalVariable(string n, Value iinf, Value isup)=0 | WeightedCSP | pure virtual |
makeWeightedCSP(Cost upperBound, void *solver=NULL) | WeightedCSP | static |
medianDegree() const =0 | WeightedCSP | pure virtual |
medianDomainSize() const =0 | WeightedCSP | pure virtual |
nextValue(int varIndex, Value v) const =0 | WeightedCSP | pure virtual |
numberOfConnectedBinaryConstraints() const =0 | WeightedCSP | pure virtual |
numberOfConnectedConstraints() const =0 | WeightedCSP | pure virtual |
numberOfConstraints() const =0 | WeightedCSP | pure virtual |
numberOfUnassignedVariables() const =0 | WeightedCSP | pure virtual |
numberOfVariables() const =0 | WeightedCSP | pure virtual |
postGlobalConstraint(int *scopeIndex, int arity, const string &gcname, istream &file, int *constrcounter=NULL, bool mult=true)=0 | WeightedCSP | pure virtual |
postMaxWeight(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost, const vector< WeightedVarValPair > weightFunction)=0 | WeightedCSP | pure virtual |
postMST(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost)=0 | WeightedCSP | pure virtual |
postNaryConstraintTuple(int ctrindex, Value *tuple, int arity, Cost cost)=0 | WeightedCSP | pure virtual |
postUnary(int xIndex, vector< Cost > &costs)=0 | WeightedCSP | pure virtual |
postUnary(int xIndex, Value *d, int dsize, Cost penalty)=0 | WeightedCSP | pure virtual |
postWAllDiff(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost)=0 | WeightedCSP | pure virtual |
postWAllDiff(int *scopeIndex, int arity, string semantics, Cost baseCost)=0 | WeightedCSP | pure virtual |
postWAmong(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost, const vector< Value > &values, int lb, int ub)=0 | WeightedCSP | pure virtual |
postWAmong(int *scopeIndex, int arity, string semantics, Cost baseCost, Value *values, int nbValues, int lb, int ub)=0 | WeightedCSP | pure virtual |
postWGcc(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost, const vector< BoundedObj< Value > > &values)=0 | WeightedCSP | pure virtual |
postWGcc(int *scopeIndex, int arity, string semantics, Cost baseCost, Value *values, int nbValues, int *lb, int *ub)=0 | WeightedCSP | pure virtual |
postWGrammarCNF(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost, int nbSymbols, int startSymbol, const vector< CFGProductionRule > WRuleToTerminal)=0 | WeightedCSP | pure virtual |
postWOverlap(int *scopeIndex, int arity, string semantics, Cost baseCost, string comparator, int rightRes)=0 | WeightedCSP | pure virtual |
postWRegular(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost, int nbStates, const vector< WeightedObj< int > > &initial_States, const vector< WeightedObj< int > > &accepting_States, const vector< DFATransition > &Wtransitions)=0 | WeightedCSP | pure virtual |
postWRegular(int *scopeIndex, int arity, int nbStates, vector< pair< int, Cost > > initial_States, vector< pair< int, Cost > > accepting_States, int **Wtransitions, vector< Cost > transitionsCosts)=0 | WeightedCSP | pure virtual |
postWSame(int *scopeIndexG1, int arityG1, int *scopeIndexG2, int arityG2, const string &semantics, const string &propagator, Cost baseCost)=0 | WeightedCSP | pure virtual |
postWSame(int *scopeIndex, int arity, string semantics, Cost baseCost)=0 | WeightedCSP | pure virtual |
postWSameGcc(int *scopeIndex, int arity, string semantics, Cost baseCost, Value *values, int nbValues, int *lb, int *ub)=0 | WeightedCSP | pure virtual |
postWSum(int *scopeIndex, int arity, string semantics, Cost baseCost, string comparator, int rightRes)=0 | WeightedCSP | pure virtual |
postWVarAmong(int *scopeIndex, int arity, string semantics, Cost baseCost, Value *values, int nbValues, int varIndex)=0 | WeightedCSP | pure virtual |
postWVarSum(int *scopeIndex, int arity, string semantics, Cost baseCost, string comparator, int varIndex)=0 | WeightedCSP | pure virtual |
preprocessing()=0 | WeightedCSP | pure virtual |
print(ostream &os)=0 | WeightedCSP | pure virtual |
printSolution(ostream &os)=0 | WeightedCSP | pure virtual |
printSolution(FILE *f)=0 | WeightedCSP | pure virtual |
propagate()=0 | WeightedCSP | pure virtual |
read_qpbo(const char *fileName)=0 | WeightedCSP | pure virtual |
read_random(int n, int m, vector< int > &p, int seed, bool forceSubModular=false, string globalname="")=0 | WeightedCSP | pure virtual |
read_uai2008(const char *fileName)=0 | WeightedCSP | pure virtual |
read_wcnf(const char *fileName)=0 | WeightedCSP | pure virtual |
read_wcsp(const char *fileName)=0 | WeightedCSP | pure virtual |
remove(int varIndex, Value remValue)=0 | WeightedCSP | pure virtual |
resetWeightedDegree(int varIndex)=0 | WeightedCSP | pure virtual |
setBestValue(int varIndex, Value v)=0 | WeightedCSP | pure virtual |
setInfiniteCost()=0 | WeightedCSP | pure virtual |
setIsPartOfOptimalSolution(bool v)=0 | WeightedCSP | pure virtual |
setSolution(Cost cost, TAssign *sol=NULL)=0 | WeightedCSP | pure virtual |
sortConstraints()=0 | WeightedCSP | pure virtual |
toIndex(int varIndex, Value value)=0 | WeightedCSP | pure virtual |
toValue(int varIndex, unsigned int idx)=0 | WeightedCSP | pure virtual |
updateUb(Cost newUb)=0 | WeightedCSP | pure virtual |
verify()=0 | WeightedCSP | pure virtual |
whenContradiction()=0 | WeightedCSP | pure virtual |