#include <wextcsp.h>
Graphe d'héritage de la classe WeightExtensionBinaryCSProblem
Membres publics | |
WeightExtensionBinaryCSProblem (int nvar, int nconst, int domsize) | |
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) |
Configuration * | create_configuration () |
Attributs Publics | |
vector< int > | cstweights |
vector< int > ** | lconstraints |
|
calcule les conflits de (var,val) avec la configuration courante Redéfinie à partir de ExtensionBinaryCSProblem. |
|
Evaluation d'une configuration (somme pondérée de contraintes violées) et remplissage des structures de données des conflits Redéfinie à partir de ExtensionBinaryCSProblem. |
|
création d'une configuration (la classe exacte dépend du problème) Redéfinie à partir de ExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas fullincr) Redéfinie à partir de ExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas incr) Redéfinie à partir de ExtensionBinaryCSProblem. |
|
poids des contraintes . vecteur indicé par le numero de contrainte |
|
vecteur des numéros de contraintes par paire de variables |