Public Member Functions | |
| Long | config_evaluation (Configuration *configuration) |
| Long | compute_conflict (Configuration *configuration, int var, int val) |
| Configuration * | create_configuration () |
 Public Member Functions inherited from CSProblem | |
| 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 () |
| Public Member Functions inherited from OpProblem | |
| virtual void | allocate_moves () |
| virtual void | best_config_verification () |
| virtual int | index2value (int index, int var) |
| virtual int | value2index (int value, int var) |
Additional Inherited Members | |
| Public Attributes inherited from CSProblem | |
| int | nbconst |
| vector< int > * | tabdomains |
| int * | domains |
| vector< int > * | connections |
| Public Attributes inherited from OpProblem | |
| Configuration * | best_config |
| int | nbvar |
| int | domainsize |
| Long | lower_bound |
| Move * | currentmove |
| Move * | firstmove |
| Move * | bestmove |
Detailed Description
NaryCSPs solved as weighted Max-CSPs with weights on the tuples
Member Function Documentation
◆ compute_conflict()
|
virtual |
number of conflicts of a simple assignment in a complete configuration
calcul du nombre de conflits d'une affectation - appele par l'évaluation d'un mouvement (cas incr)
Reimplemented from OpProblem.
References Configuration::config.
◆ config_evaluation()
|
virtual |
evaluation and filling the conflict datastructure
code optimisé pour configuration semi-incrementale IncrCSPConfiguration
Reimplemented from OpProblem.
References Configuration::incr_conflicts(), and Configuration::init_conflicts().
◆ create_configuration()
|
virtual |
choice of incrementality mode : IncrCSPConfiguration ou FullincrCSPConfiguration
utilisation des configurations "semi-incrementales"IncrCSPConfiguration - les conflits des valeurs courantes des variables sont stockés dans le tableau tabconflicts ou tout-incrémentales FullincrCSPConfiguration : les conflits de toutes les valeurs avec la configuration courante sont maintenus dans tabconflicts
Reimplemented from CSProblem.
