#include <csproblem.h>
Graphe d'héritage de la classe CSProblem
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) |
Configuration * | create_configuration () |
Move * | create_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 |
|
constructeur de base |
|
constructeur avec borne inférieure |
|
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. |
|
analyse da la meilleure solution Redéfinie à partir de OpProblem. Redéfinie dans ColorCSProblem, et ImpasseColor. |
|
ecriture de la meilleure solution Redéfinie à partir de OpProblem. Redéfinie dans CelarCSProblem, ColorCSProblem, et ImpasseColor. |
|
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. |
|
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. |
|
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. |
|
initialisation des domaines : appel de init_domains et init_tabdomains |
|
initialisation des domaines par défaut : un seul domaine numéro 0 pour toutes les variables Redéfinie dans ColorCSProblem, et ImpasseColor. |
|
initialisation d'une population de taille populationsize Redéfinie à partir de OpProblem. |
|
un seul domaine par défaut : entiers de 0 à s-1 Redéfinie dans ImpasseColor. |
|
une valeur dans le domaine de la variable minimisant les conflits avec la configuration |
|
évaluation d'un mouvement move sur une configuration Redéfinie à partir de OpProblem. Redéfinie dans CelarCSProblem, CliqueProblem, SwNqueen, et SwNiNqueen. |
|
exécution d'un mouvement (modification de la configuration courante) Redéfinie à partir de OpProblem. Redéfinie dans CelarCSProblem, ImpasseColor, CliqueProblem, et SwNqueen. |
|
prochain mouvement du voisinage à tester Redéfinie à partir de OpProblem. Redéfinie dans CliqueProblem, et SwNqueen. |
|
affectation aléatoire des variables d'une configuration Redéfinie à partir de OpProblem. Redéfinie dans CelarCSProblem, ImpasseColor, CliqueProblem, et SwNqueen. |
|
une valeur choisie aléatoirement, si possible distincte de val : retourne l'indice de la valeur dans le domaine |
|
une variable choisie aléatoirement Redéfinie dans CelarCSProblem. |
|
met en place les domaines et connexions d'un problème |
|
la taille du domaine de la variable var |
|
tableau des connexions : pour chaque variable, vecteur des variables connectées |
|
pour chaque variable, numéro de son domaine : indice dans le tableau tabdomains |
|
taille maximum des domaines |
|
nombre de contraintes |
|
tableau des domaines : chaque domaine est un vecteur d'entiers |