Main Page | Class Hierarchy | Class List | File List | Class Members

ColorCSProblem Class Reference

#include <color.h>

Inheritance diagram for ColorCSProblem:

BinaryCSProblem CSProblem OpProblem ImpasseColor List of all members.

Public Member Functions

 ColorCSProblem (int nvar, int nconst , int nbcolor)
int config_evaluation (Configuration *configuration)
void incr_update_conflicts (IncrCSPConfiguration *configuration, Move *move)
void fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move)
void init_domains (int nbvar, int s)
void best_config_analysis ()
void best_config_write ()
void analyse_conflicts (Configuration *configuration)
void random_configuration (Configuration *configuration)
Configurationcreate_configuration ()
int compute_conflict (Configuration *configuration, int var, int val)
void compute_var_conflict (Configuration *configuration)
int move_evaluation (Configuration *configuration, Move *move)
int min_conflict_value (int var, int val, Configuration *configuration)

Detailed Description

Graph coloring problems solved as MaxCSP


Member Function Documentation

void ColorCSProblem::best_config_analysis  )  [virtual]
 

analysis of the best configuration

Reimplemented from CSProblem.

Reimplemented in ImpasseColor.

void ColorCSProblem::best_config_write  )  [virtual]
 

writing the best solution

Reimplemented from CSProblem.

Reimplemented in ImpasseColor.

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

appelé par le calcul non incremental et par le semi-incrémental pour les valeurs autres que la courante

Reimplemented from OpProblem.

void ColorCSProblem::compute_var_conflict Configuration configuration  )  [virtual]
 

compute the variables in conflict : rebuilding the vector of conflict variables of the configuration

Reimplemented from CSProblem.

Reimplemented in ImpasseColor.

int ColorCSProblem::config_evaluation Configuration configuration  )  [virtual]
 

nombre de contraintes de difference violées - on met en place les compteurs de conflits par variable

Reimplemented from OpProblem.

Reimplemented in ImpasseColor.

Configuration * ColorCSProblem::create_configuration  )  [virtual]
 

create a configuration (the exact class depends on the problem and must defined in subclasses)

Reimplemented from CSProblem.

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

mise à jour des conflits dans l'implantation avec incrémentalité complète

Reimplemented from OpProblem.

Reimplemented in ImpasseColor.

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

mise à jour des conflits dans l'implantation incr (seuls les nb de conflits des valeurs courantes sont stockés)

Reimplemented from OpProblem.

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

standard domain initialization : a unique domain number 0 for all variables

Reimplemented from CSProblem.

Reimplemented in ImpasseColor.

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

a value in the domain minimizing the conflict with the configuration (implementation of Minton min-conflict heuristics) returns the index of the value in the domain

Reimplemented from CSProblem.

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

evaluation of a configuration if the move is done

Reimplemented from CSProblem.

void ColorCSProblem::random_configuration Configuration configuration  )  [virtual]
 

random assignment of the variables of a configuration

Reimplemented from CSProblem.

Reimplemented in ImpasseColor.


The documentation for this class was generated from the following files:
Generated on Wed Sep 15 17:58:38 2004 for INCOP by doxygen 1.3.5