toulbar2
WeightedCSP Member List

This is the complete list of members for WeightedCSP, including all inherited members.

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