11 vector<NaryConstraint*>* naryconstraints;
12 vector<NaryVariable*>* naryvariables;
42 int compute_index(
int* values, vector<int>* tabdomaines);
43 int compute_indexpart(
int i,
int vali, vector<int>* tabdomaines);
50 vector<int> multiplyers;
51 void compute_indexmultiplyers(vector<int>* tabdomaines);
52 int compute_indexmultiplyer(
int i, vector<int>* tabdomaines);
53 int nbtuples(vector<int>* tabdomaines);
60 vector<NaryConstraint*> constraints;
66 vector<INCOP::NaryVariable*>* vv, vector<INCOP::NaryConstraint*>* vct);
68 void wcspdomaines_file_read(WCSP* wcsp,
int nbvar, vector<int>* tabdomaines);
70 int wcspdata_constraint_read(WCSP* wcsp,
int nbconst, vector<INCOP::NaryVariable*>* vv, vector<INCOP::NaryConstraint*>* vct,
71 vector<int>* connexions, vector<int>* tabdomaines);
Definition: csproblem.h:3
Long compute_conflict(Configuration *configuration, int var, int val)
Definition: narycsproblem.cpp:181
Definition: narycsproblem.h:35
Definition: narycsproblem.h:58
Long config_evaluation(Configuration *configuration)
Definition: narycsproblem.cpp:64
int nbvar
Definition: incop.h:226
Definition: narycsproblem.h:9
Definition: narycsproblem.h:3
vector< int > constrainedvariables
Definition: narycsproblem.h:46
Configuration * create_configuration()
Definition: narycsproblem.cpp:196
vector< Long > tuplevalues
Definition: narycsproblem.h:49
int nbconst
Definition: csproblem.h:7