Main Page | Class Hierarchy | Compound List | File List | Compound 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

Binary CSPs with constraints given in extension : used for implementing randomcsp (see randomain.cc)


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
 

3 dimension array constraint2 (constraintnumber nc, indexvali, indexvalj) indicates if the couple (vali,valj) of constraint nc is forbidden (value 1) or valid (value 0)


The documentation for this class was generated from the following files:
Generated on Fri Sep 26 17:27:26 2003 for INCOP by doxygen 1.3.3