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);
68void wcspdomaines_file_read(WCSP* wcsp,
int nbvar, vector<int>* tabdomaines);
70int wcspdata_constraint_read(WCSP* wcsp,
int nbconst, vector<INCOP::NaryVariable*>* vv, vector<INCOP::NaryConstraint*>* vct,
71 vector<int>* connexions, vector<int>* tabdomaines);
int nbconst
Definition csproblem.h:10
Definition narycsproblem.h:9
Long config_evaluation(Configuration *configuration)
Definition narycsproblem.cpp:64
Long compute_conflict(Configuration *configuration, int var, int val)
Definition narycsproblem.cpp:181
Configuration * create_configuration()
Definition narycsproblem.cpp:196
Definition narycsproblem.h:35
vector< int > constrainedvariables
Definition narycsproblem.h:46
int nbtuples(vector< int > *tabdomaines)
Definition narycsproblem.cpp:155
Long constraint_value(Configuration *configuration)
Definition narycsproblem.cpp:78
vector< Long > tuplevalues
Definition narycsproblem.h:49
Definition narycsproblem.h:58
int nbvar
Definition incop.h:229