#include <color.h>
Inheritance diagram for ColorCSProblem:
Public Member Functions | |
ColorCSProblem (int nvar, int nconst , int nbcolor) | |
int | config_evaluation (Configuration *configuration) |
void | incr_update_conflicts (IncrCSPConfiguration *configuration, Move *move) |
void | fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move) |
void | init_domains (int nbvar, int s) |
void | best_config_analysis () |
void | best_config_write () |
void | analyse_conflicts (Configuration *configuration) |
void | random_configuration (Configuration *configuration) |
Configuration * | create_configuration () |
int | compute_conflict (Configuration *configuration, int var, int val) |
void | compute_var_conflict (Configuration *configuration) |
int | move_evaluation (Configuration *configuration, Move *move) |
int | min_conflict_value (int var, int val, Configuration *configuration) |
|
analysis of the best configuration Reimplemented from CSProblem. Reimplemented in ImpasseColor. |
|
writing the best solution Reimplemented from CSProblem. Reimplemented in ImpasseColor. |
|
appelé par le calcul non incremental et par le semi-incrémental pour les valeurs autres que la courante Reimplemented from OpProblem. |
|
compute the variables in conflict : rebuilding the vector of conflict variables of the configuration Reimplemented from CSProblem. Reimplemented in ImpasseColor. |
|
nombre de contraintes de difference violées - on met en place les compteurs de conflits par variable Reimplemented from OpProblem. Reimplemented in ImpasseColor. |
|
create a configuration (the exact class depends on the problem and must defined in subclasses) Reimplemented from CSProblem. |
|
mise à jour des conflits dans l'implantation avec incrémentalité complète Reimplemented from OpProblem. Reimplemented in ImpasseColor. |
|
mise à jour des conflits dans l'implantation incr (seuls les nb de conflits des valeurs courantes sont stockés) Reimplemented from OpProblem. |
|
standard domain initialization : a unique domain number 0 for all variables Reimplemented from CSProblem. Reimplemented in ImpasseColor. |
|
a value in the domain minimizing the conflict with the configuration (implementation of Minton min-conflict heuristics) returns the index of the value in the domain Reimplemented from CSProblem. |
|
evaluation of a configuration if the move is done Reimplemented from CSProblem. |
|
random assignment of the variables of a configuration Reimplemented from CSProblem. Reimplemented in ImpasseColor. |