#include <wextcsp.h>
Inheritance diagram for WeightExtensionBinaryCSProblem:
Public Member Functions | |
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 () |
Public Attributes | |
vector< int > | cstweights |
vector< int > ** | lconstraints |
|
calcule les conflits de (var,val) avec la configuration courante Reimplemented from ExtensionBinaryCSProblem. |
|
Evaluation d'une configuration (somme pondérée de contraintes violées) et remplissage des structures de données des conflits Reimplemented from ExtensionBinaryCSProblem. |
|
create a configuration (the exact class depends on the problem and must defined in subclasses) Reimplemented from ExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas fullincr) Reimplemented from ExtensionBinaryCSProblem. |
|
mise à jour de la structure de données tabconflicts (cas incr) Reimplemented from ExtensionBinaryCSProblem. |
|
constraint weights : vector indexed by the constraint number |
|
vector of the constraints connecting a pair of variables (i,j) (i<j) |