|
Public Member Functions |
| NaryConstraint (int arit) |
int | constraint_value (Configuration *configuration) |
int | compute_index (int *values, vector< int > *tabdomaines) |
int | compute_indexpart (int i, int vali, vector< int > *tabdomaines) |
void | compute_indexmultiplyers (vector< int > *tabdomaines) |
int | compute_indexmultiplyer (int i, vector< int > *tabdomaines) |
int | nbtuples (vector< int > *tabdomaines) |
Public Attributes |
int | arity |
vector< int > | constrainedvariables |
vector< int > | tuplevalues |
vector< int > | multiplyers |