WeightedCSPSolver Member List

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

assign(int varIndex, Value value, bool reverse=false)=0	WeightedCSPSolver	pure virtual
decrease(int varIndex, Value value, bool reverse=false)=0	WeightedCSPSolver	pure virtual
dump_wcsp(const char *fileName, bool original=true, ProblemFormat format=WCSP_FORMAT)=0	WeightedCSPSolver	pure virtual
getNbBacktracks() const =0	WeightedCSPSolver	pure virtual
getNbNodes() const =0	WeightedCSPSolver	pure virtual
getSolution()=0	WeightedCSPSolver	pure virtual
getSolution(vector< Value > &solution) const =0	WeightedCSPSolver	pure virtual
getSolutionCost() const =0	WeightedCSPSolver	pure virtual
getSolutions() const =0	WeightedCSPSolver	pure virtual
getSolutionValue() const =0	WeightedCSPSolver	pure virtual
getWCSP()=0	WeightedCSPSolver	pure virtual
increase(int varIndex, Value value, bool reverse=false)=0	WeightedCSPSolver	pure virtual
makeWeightedCSPSolver(Cost initUpperBound)	WeightedCSPSolver	static
narycsp(string cmd, vector< Value > &solution)=0	WeightedCSPSolver	pure virtual
parse_solution(const char *certificate, bool updateValueHeuristic=true)=0	WeightedCSPSolver	pure virtual
read_random(int n, int m, vector< int > &p, int seed, bool forceSubModular=false, string globalname="")=0	WeightedCSPSolver	pure virtual
read_solution(const char *fileName, bool updateValueHeuristic=true)=0	WeightedCSPSolver	pure virtual
read_wcsp(const char *fileName)=0	WeightedCSPSolver	pure virtual
remove(int varIndex, Value value, bool reverse=false)=0	WeightedCSPSolver	pure virtual
solve(bool first=true)=0	WeightedCSPSolver	pure virtual
solve_symmax2sat(int n, int m, int *posx, int *posy, double *cost, int *sol)=0	WeightedCSPSolver	pure virtual