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

Référence de la classe CSProblem

#include <csproblem.h>

Graphe d'héritage de la classe CSProblem

OpProblem BinaryCSProblem CelarCSProblem CliqueProblem ColorCSProblem ExtensionBinaryCSProblem Nqueen ImpasseColor WeightExtensionBinaryCSProblem SwNqueen SwNiNqueen Liste de tous les membres

Membres publics

 CSProblem (int nbvar, int nbconst)
 CSProblem (int nbvar, int nbconst, int lower)
void move_execution (Configuration *configuration, Move *move)
virtual int variable_domainsize (int var)
void random_configuration (Configuration *configuration)
virtual int random_variable (Configuration *configuration)
virtual int random_conflict_variable (Configuration *configuration)
virtual int random_value (int var, int val)
virtual int min_conflict_value (int var, int val, Configuration *configuration)
virtual void init_domains (int nbvar, int s)
virtual void init_tabdomains (int s)
void compute_var_conflict (Configuration *configuration)
void best_config_analysis ()
void best_config_write ()
int move_evaluation (Configuration *configuration, Move *move)
void init_population (Configuration **population, int populationsize)
Configurationcreate_configuration ()
Movecreate_move ()
void adjust_parameters (Configuration *configuration, int &maxneighbors, int &minneighbors)
void next_move (Configuration *configuration, Move *move, NeighborhoodSearch *nbhs)
virtual void set_domains_connections (int *dom, vector< int > *tabledom, vector< int > *connect)
virtual void init_domain_tabdomain ()

Attributs Publics

int nbconst
vector< int > * tabdomains
int domainsize
int * domains
vector< int > * connections

Description détaillée

classe des problèmes de satisfaction de contraintes CSP


Documentation des contructeurs et destructeurs

CSProblem::CSProblem int  nbvar,
int  nbconst
 

constructeur de base

CSProblem::CSProblem int  nbvar,
int  nbconst,
int  lower
 

constructeur avec borne inférieure


Documentation des méthodes

void CSProblem::adjust_parameters Configuration configuration,
int &  maxneighbors,
int &  minneighbors
[virtual]
 

ajustement des paramètres du voisinage (quand la taille du voisinage est supérieure à maxneighbors)

Redéfinie à partir de OpProblem.

Redéfinie dans SwNqueen, et SwNiNqueen.

void CSProblem::best_config_analysis  )  [virtual]
 

analyse da la meilleure solution

Redéfinie à partir de OpProblem.

Redéfinie dans ColorCSProblem, et ImpasseColor.

void CSProblem::best_config_write  )  [virtual]
 

ecriture de la meilleure solution

Redéfinie à partir de OpProblem.

Redéfinie dans CelarCSProblem, ColorCSProblem, et ImpasseColor.

void CSProblem::compute_var_conflict Configuration configuration  )  [virtual]
 

calcul des variables en conflit : on reconstruit le vecteur des variables en conflit d'une configuration

Redéfinie à partir de OpProblem.

Redéfinie dans CelarCSProblem, ImpasseColor, et SwNqueen.

Configuration * CSProblem::create_configuration  )  [virtual]
 

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

Redéfinie à partir de OpProblem.

Redéfinie dans CelarCSProblem, ColorCSProblem, ExtensionBinaryCSProblem, CliqueProblem, Nqueen, SwNiNqueen, et WeightExtensionBinaryCSProblem.

Move * CSProblem::create_move  )  [virtual]
 

création d'un mouvement (la classe du mouvement dépend du problène) : méthode implantée dans les sous-classes

Redéfinie à partir de OpProblem.

Redéfinie dans CliqueProblem, et SwNqueen.

void CSProblem::init_domain_tabdomain  )  [virtual]
 

initialisation des domaines : appel de init_domains et init_tabdomains

void CSProblem::init_domains int  nbvar,
int  s
[virtual]
 

initialisation des domaines par défaut : un seul domaine numéro 0 pour toutes les variables

Redéfinie dans ColorCSProblem, et ImpasseColor.

void CSProblem::init_population Configuration **  population,
int  populationsize
[virtual]
 

initialisation d'une population de taille populationsize

Redéfinie à partir de OpProblem.

void CSProblem::init_tabdomains int  s  )  [virtual]
 

un seul domaine par défaut : entiers de 0 à s-1

Redéfinie dans ImpasseColor.

int CSProblem::min_conflict_value int  var,
int  val,
Configuration configuration
[virtual]
 

une valeur dans le domaine de la variable minimisant les conflits avec la configuration

int CSProblem::move_evaluation Configuration configuration,
Move move
[virtual]
 

évaluation d'un mouvement move sur une configuration

Redéfinie à partir de OpProblem.

Redéfinie dans CelarCSProblem, CliqueProblem, SwNqueen, et SwNiNqueen.

void CSProblem::move_execution Configuration configuration,
Move move
[virtual]
 

exécution d'un mouvement (modification de la configuration courante)

Redéfinie à partir de OpProblem.

Redéfinie dans CelarCSProblem, ImpasseColor, CliqueProblem, et SwNqueen.

void CSProblem::next_move Configuration configuration,
Move move,
NeighborhoodSearch nbhs
[virtual]
 

prochain mouvement du voisinage à tester

Redéfinie à partir de OpProblem.

Redéfinie dans CliqueProblem, et SwNqueen.

void CSProblem::random_configuration Configuration configuration  )  [virtual]
 

affectation aléatoire des variables d'une configuration

Redéfinie à partir de OpProblem.

Redéfinie dans CelarCSProblem, ImpasseColor, CliqueProblem, et SwNqueen.

int CSProblem::random_value int  var,
int  val
[virtual]
 

une valeur choisie aléatoirement, si possible distincte de val : retourne l'indice de la valeur dans le domaine

int CSProblem::random_variable Configuration configuration  )  [virtual]
 

une variable choisie aléatoirement

Redéfinie dans CelarCSProblem.

void CSProblem::set_domains_connections int *  dom,
vector< int > *  tabledom,
vector< int > *  connect
[virtual]
 

met en place les domaines et connexions d'un problème

int CSProblem::variable_domainsize int  var  )  [virtual]
 

la taille du domaine de la variable var


Documentation des données imbriquées

vector<int>* CSProblem::connections
 

tableau des connexions : pour chaque variable, vecteur des variables connectées

int* CSProblem::domains
 

pour chaque variable, numéro de son domaine : indice dans le tableau tabdomains

int CSProblem::domainsize
 

taille maximum des domaines

int CSProblem::nbconst
 

nombre de contraintes

vector<int>* CSProblem::tabdomains
 

tableau des domaines : chaque domaine est un vecteur d'entiers


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