#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 |
|
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. |
|
3 dimension array constraint2 (constraintnumber nc, indexvali, indexvalj) indicates if the couple (vali,valj) of constraint nc is forbidden (value 1) or valid (value 0) |