|
| CSProblem (int nbvar, int nbconst) |
|
| CSProblem (int nbvar, int nbconst, int lower) |
|
virtual int | variable_domainsize (int var) |
|
virtual int | random_variable (Configuration *configuration) |
|
virtual int | random_conflict_variable (Configuration *configuration) |
|
virtual int | random_value (int var, int val) |
|
virtual int | min_conflict_value (int var, int val, Configuration *configuration) |
|
virtual void | init_domains (int nbvar, int s) |
|
virtual void | init_tabdomains (int s) |
|
void | compute_var_conflict (Configuration *configuration) |
|
virtual void | set_domains_connections (int *dom, vector< int > *tabledom, vector< int > *connect) |
|
virtual void | init_domain_tabdomain () |
|
virtual void | incr_update_conflicts (IncrCSPConfiguration *configuration, Move *move) |
|
virtual void | fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move) |
|
virtual void | allocate_moves () |
|
virtual void | best_config_verification () |
|
virtual Long | compute_conflict (Configuration *configuration, int var, int val) |
|
virtual Long | config_evaluation (Configuration *configuration) |
|
virtual int | index2value (int index, int var) |
|
virtual int | value2index (int value, int var) |
|
Binary CSPs : addition of the constraints array