|
toulbar2
|
This is the complete list of members for WeightedCSP, including all inherited members.
| addValueName(int xIndex, const string &valuename)=0 | WeightedCSP | pure virtual |
| assign(int varIndex, Value newValue)=0 | WeightedCSP | pure virtual |
| assignLS(vector< int > &varIndexes, vector< Value > &newValues, bool force=false)=0 | WeightedCSP | pure virtual |
| cartProd(BigInteger &cartesianProduct)=0 | WeightedCSP | pure virtual |
| decrease(int varIndex, Value newSup)=0 | WeightedCSP | pure virtual |
| decreaseLb(Cost shift)=0 | WeightedCSP | pure virtual |
| dump(ostream &os, bool original=true)=0 | WeightedCSP | pure virtual |
| dump_CFN(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 |
| getDivVariables()=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)=0 | WeightedCSP | pure virtual |
| getEnumDomain(int varIndex, Value *array)=0 | WeightedCSP | pure virtual |
| getEnumDomainAndCost(int varIndex)=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 |
| getMaxCurrentDomainSize() const =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 |
| getNegativeLb() const =0 | WeightedCSP | pure virtual |
| getSolution()=0 | WeightedCSP | pure virtual |
| getSolution(Cost *cost_ptr)=0 | WeightedCSP | pure virtual |
| getSolutionCost() const =0 | WeightedCSP | pure virtual |
| getSolutionValue() const =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 |
| getVarIndex(const string &s) 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 |
| initSolutionCost()=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 |
| medianArity() const =0 | WeightedCSP | pure virtual |
| 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 |
| postKnapsackConstraint(vector< int > &scope, const string &arguments)=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 |
| postNaryConstraintBegin(int *scope, int arity, Cost defval, Long nbtuples=0, bool forcenary=false)=0 | WeightedCSP | pure virtual |
| postNaryConstraintEnd(int ctrindex)=0 | WeightedCSP | pure virtual |
| postNaryConstraintTuple(int ctrindex, vector< Value > &tuple, 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(vector< int > &scope, 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, 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< BoundedObjValue > &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(vector< int > &scope, const string &semantics, const string &propagator, Cost baseCost, int nbStates, const vector< WeightedObjInt > &initial_States, const vector< WeightedObjInt > &accepting_States, const vector< DFATransition > &Wtransitions)=0 | WeightedCSP | pure virtual |
| postWRegular(int *scopeIndex, int arity, const string &semantics, const string &propagator, Cost baseCost, int nbStates, const vector< WeightedObjInt > &initial_States, const vector< WeightedObjInt > &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(vector< int > &scope, const string &semantics, Cost baseCost, vector< Value > &values, int varIndex)=0 | WeightedCSP | pure virtual |
| postWVarAmong(int *scopeIndex, int arity, const 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()=0 | WeightedCSP | pure virtual |
| printSolution(ostream &os)=0 | WeightedCSP | pure virtual |
| printSolution(FILE *f)=0 | WeightedCSP | pure virtual |
| propagate()=0 | WeightedCSP | pure virtual |
| read_legacy(const char *fileName)=0 | WeightedCSP | pure virtual |
| read_opb(const char *fileName)=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 |
| setName(const string &problem)=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 |
| toIndex(int varIndex, const string &valueName)=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.9.1