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 |
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 |
getSolution()=0 | WeightedCSP | pure virtual |
getSolution(Cost *cost_ptr)=0 | WeightedCSP | pure virtual |
getSolutionCost()=0 | WeightedCSP | pure virtual |
getSolutionValue()=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 |