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

extcsp.h

00001 /*
00002 CSP binaires avec des contraintes données en extension : 
00003 ils sont utilisés pour implanter les CSP aléatoires (randommain.cc)
00004 
00005 classe ExtensionBinaryCSP */
00006 
00012 class ExtensionBinaryCSProblem : public BinaryCSProblem
00013 { public :
00014 
00015   ExtensionBinaryCSProblem(int nvar, int nconst, int domain);
00016 /* le tableau constraint2 (numéro contrainte nc, indexvali, indexvalj) indique si le couple (vali,valj) de la contrainte nc
00017 est un couple incompatible (valeur 1) ou compatible (valeur 0) */
00018 
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);

Generated on Fri Sep 26 17:27:25 2003 for INCOP by doxygen 1.3.3