Page principale | Hiérarchie des classes | Liste des composants | Liste des fichiers | Composants

extcsp.h

00001 
00007 /* Binary CSPs with constraints given in extension : used for implementing randomcsp (see randomain.cc) */
00008 
00009 
00010 
00011 
00012 class ExtensionBinaryCSProblem : public BinaryCSProblem
00013 { public :
00014 
00015   ExtensionBinaryCSProblem(int nvar, int nconst, int domain);
00019 /* 3 dimension array constraint2 (constraintnumber nc, indexvali, indexvalj) indicates if the couple (vali,valj) 
00020 of constraint nc is forbidden (value 1) or valid (value 0) */
00021   int*** constraint2;
00022   int config_evaluation(Configuration* configuration);
00023   void incr_update_conflicts(IncrCSPConfiguration* configuration,Move* move);
00024   void fullincr_update_conflicts(FullincrCSPConfiguration* configuration,Move* move);
00025   int compute_conflict(Configuration* configuration, int var , int val);
00026   void solution_write();
00027   Configuration* create_configuration ();
00028 };
00029 
00030 
00031 
00032 void extensionbinary_setconnexions(int nbvar, vector<int>* connexions, int** constraint1);
00033 int*** extensionbinary_tupledatastructure (int nbconst, int s);
00034 void extensionbinary_inittuples(int nbconst, int s, int*** constraint2, int tabu);

Généré le Fri Sep 26 16:54:19 2003 pour INCOP par doxygen 1.3.3