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

ImpasseColor Class Reference

#include <color.h>

Inheritance diagram for ImpasseColor:

ColorCSProblem BinaryCSProblem CSProblem OpProblem List of all members.

Public Member Functions

 ImpasseColor (int nvar, int nconst , int nbcolor, int degree)
int config_evaluation (Configuration *configuration)
void fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move)
void move_execution (Configuration *configuration, Move *move)
void random_configuration (Configuration *configuration)
void compute_var_conflict (Configuration *configuration)
void init_domains (int nbvar, int s)
void init_tabdomains (int s)
void best_config_analysis ()
void best_config_write ()

Public Attributes

int sumdegree

Detailed Description

Coloring with Impasse algorithm : the assigned variables respect the constraints, an n+1 th virtual color is assigned to variables which cannot be assigned without conflicts with the current configuration


Member Function Documentation

void ImpasseColor::best_config_analysis  )  [virtual]
 

analysis of the best configuration

Reimplemented from ColorCSProblem.

void ImpasseColor::best_config_write  )  [virtual]
 

writing the best solution

Reimplemented from ColorCSProblem.

void ImpasseColor::compute_var_conflict Configuration configuration  )  [virtual]
 

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

Reimplemented from ColorCSProblem.

int ImpasseColor::config_evaluation Configuration configuration  )  [virtual]
 

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

Reimplemented from ColorCSProblem.

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

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

Reimplemented from ColorCSProblem.

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

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

Reimplemented from ColorCSProblem.

void ImpasseColor::init_tabdomains int  s  )  [virtual]
 

standard unique domain : integers from 0 to s-1

Reimplemented from CSProblem.

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

move execution (modification of the current configuration)

Reimplemented from CSProblem.

void ImpasseColor::random_configuration Configuration configuration  )  [virtual]
 

random assignment of the variables of a configuration

Reimplemented from ColorCSProblem.


Member Data Documentation

int ImpasseColor::sumdegree
 

indicates the criterion to be minimized : 0 number of variables that cannot be assigned, 1 sum of degrees of variables that cannot be assigned


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