#include <extcsp.h>
Graphe d'héritage de la classe ExtensionBinaryCSProblem
Membres publics | |
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 () |
Attributs Publics | |
int *** | constraint2 |
classe ExtensionBinaryCSP
|
calcule les conflits de (var,val) avec la configuration courante Redéfinie à partir de OpProblem. Redéfinie dans WeightExtensionBinaryCSProblem. |
|
Evaluation d'une configuration (nombre de contraintes violées) et remplissage des structures de données des conflits Redéfinie à partir de OpProblem. Redéfinie dans WeightExtensionBinaryCSProblem. |
|
création d'une configuration (la classe exacte dépend du problème) Redéfinie à partir de CSProblem. Redéfinie dans WeightExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas fullincr) Redéfinie à partir de OpProblem. Redéfinie dans WeightExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas incr) Redéfinie à partir de OpProblem. Redéfinie dans 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) |