Page principale | Hiérarchie des classes | Liste des composants | Liste des fichiers | Composants

Référence de la classe ExtensionBinaryCSProblem

#include <extcsp.h>

Graphe d'héritage de la classe ExtensionBinaryCSProblem

BinaryCSProblem CSProblem OpProblem WeightExtensionBinaryCSProblem Liste de tous les membres

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 ()
Configurationcreate_configuration ()

Attributs Publics

int *** constraint2

Description détaillée

CSP binaires avec des contraintes données en extension : ils sont utilisés pour implanter les CSP aléatoires (randommain.cc)

classe ExtensionBinaryCSP


Documentation des méthodes

int ExtensionBinaryCSProblem::compute_conflict Configuration configuration,
int  var,
int  val
[virtual]
 

calcule les conflits de (var,val) avec la configuration courante

Redéfinie à partir de OpProblem.

Redéfinie dans WeightExtensionBinaryCSProblem.

int ExtensionBinaryCSProblem::config_evaluation Configuration configuration  )  [virtual]
 

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.

Configuration * ExtensionBinaryCSProblem::create_configuration  )  [virtual]
 

création d'une configuration (la classe exacte dépend du problème)

Redéfinie à partir de CSProblem.

Redéfinie dans WeightExtensionBinaryCSProblem.

void ExtensionBinaryCSProblem::fullincr_update_conflicts FullincrCSPConfiguration configuration,
Move move
[virtual]
 

mise à jour de la structure de données tabconflicts (cas fullincr)

Redéfinie à partir de OpProblem.

Redéfinie dans WeightExtensionBinaryCSProblem.

void ExtensionBinaryCSProblem::incr_update_conflicts IncrCSPConfiguration configuration,
Move move
[virtual]
 

mise à jour de la structure de données tabconflicts (cas incr)

Redéfinie à partir de OpProblem.

Redéfinie dans WeightExtensionBinaryCSProblem.


Documentation des données imbriquées

int*** ExtensionBinaryCSProblem::constraint2
 

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)


La documentation associée à cette classe a été générée à partir des fichiers suivants :
Généré le Fri Sep 26 16:54:19 2003 pour INCOP par doxygen 1.3.3