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