2 #define Toulbar_VERSION "1.0.0-master-aab1312-tainted (1530783600)"
virtual bool solve()=0
simplifies and solves to optimality the problem
virtual void postUnary(int xIndex, vector< Cost > &costs)=0
virtual Cost getSolution(vector< Value > &solution)=0
after solving the problem, add the optimal solution in the input/output vector and returns its optimu...
virtual void sortConstraints()=0
sorts the list of cost functions associated to each variable based on smallest problem variable index...
virtual Value toValue(int varIndex, unsigned int idx)=0
gets value from index (warning! assumes EnumeratedVariable)
virtual int makeEnumeratedVariable(string n, Value iinf, Value isup)=0
create an enumerated variable with its domain bounds
virtual WeightedCSP * getWCSP()=0
access to its associated Weighted CSP
static WeightedCSPSolver * makeWeightedCSPSolver(Cost initUpperBound)
WeightedCSP Solver factory.
Definition: tb2solver.cpp:29
Definition: toulbar2lib.hpp:423