#include <extcsp.h>
Inheritance diagram for ExtensionBinaryCSProblem:
Public Member Functions | |
ExtensionBinaryCSProblem (int nvar, int nconst , int domain) | |
int | config_evaluation (Configuration *configuration) |
void | incr_update_conflicts (IncrCSPConfiguration *configuration, Move *move) |
void | fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move) |
int | compute_conflict (Configuration *configuration, int var, int val) |
void | solution_write () |
Configuration * | create_configuration () |
Public Attributes | |
int *** | constraint2 |
classe ExtensionBinaryCSP
|
calcule les conflits de (var,val) avec la configuration courante Reimplemented from OpProblem. Reimplemented in WeightExtensionBinaryCSProblem. |
|
Evaluation d'une configuration (nombre de contraintes violées) et remplissage des structures de données des conflits Reimplemented from OpProblem. Reimplemented in WeightExtensionBinaryCSProblem. |
|
create a configuration (the exact class depends on the problem and must defined in subclasses) Reimplemented from CSProblem. Reimplemented in WeightExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas fullincr) Reimplemented from OpProblem. Reimplemented in WeightExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas incr) Reimplemented from OpProblem. Reimplemented in WeightExtensionBinaryCSProblem. |
|
le tableau constraint2 (numéro contrainte nc, indexvali, indexvalj) indique si le couple (vali,valj) de la contrainte nc est un couple incompatible (valeur 1) ou compatible (valeur 0) |