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

ExtensionBinaryCSProblem Class Reference

#include <extcsp.h>

Inheritance diagram for ExtensionBinaryCSProblem:

BinaryCSProblem CSProblem OpProblem WeightExtensionBinaryCSProblem List of all members.

Public Member Functions

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

Public Attributes

int *** constraint2

Detailed Description

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

classe ExtensionBinaryCSP


Member Function Documentation

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

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

Reimplemented from OpProblem.

Reimplemented in 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

Reimplemented from OpProblem.

Reimplemented in WeightExtensionBinaryCSProblem.

Configuration * ExtensionBinaryCSProblem::create_configuration  )  [virtual]
 

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

Reimplemented from CSProblem.

Reimplemented in WeightExtensionBinaryCSProblem.

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

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

Reimplemented from OpProblem.

Reimplemented in WeightExtensionBinaryCSProblem.

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

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

Reimplemented from OpProblem.

Reimplemented in WeightExtensionBinaryCSProblem.


Member Data Documentation

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)


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