toulbar2
|
Public Member Functions | |
Long | config_evaluation (Configuration *configuration) |
Long | compute_conflict (Configuration *configuration, int var, int val) |
Configuration * | create_configuration () |
![]() | |
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 | allocate_moves () |
virtual void | best_config_verification () |
virtual int | index2value (int index, int var) |
virtual int | value2index (int value, int var) |
Additional Inherited Members | |
![]() | |
int | nbconst |
vector< int > * | tabdomains |
int * | domains |
vector< int > * | connections |
![]() | |
Configuration * | best_config |
int | nbvar |
int | domainsize |
Long | lower_bound |
Move * | currentmove |
Move * | firstmove |
Move * | bestmove |
NaryCSPs solved as weighted Max-CSPs with weights on the tuples
|
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.
|
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().
|
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.
References OpProblem::allocate_moves(), OpProblem::best_config, Configuration::config, INCOP::NaryConstraint::constrainedvariables, OpProblem::domainsize, OpProblem::lower_bound, CSProblem::set_domains_connections(), INCOP::NaryConstraint::tuplevalues, and Configuration::valuation.