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

wextcsp.h

00001 /* les CSP en extension binaires valués (poids par contrainte) */
00004 class WeightExtensionBinaryCSProblem : public ExtensionBinaryCSProblem
00005 { public :
00006 /* poids des contraintes . vecteur indicé par le numero de contrainte */
00008   vector<int> cstweights;
00009 /* vecteur des numéros de contraintes par paire de variables */
00011   vector<int>** lconstraints;
00012   WeightExtensionBinaryCSProblem(int nvar, int nconst, int domsize);
00013   int config_evaluation(Configuration* configuration);
00014   void incr_update_conflicts(IncrCSPConfiguration* configuration,Move* move);
00015   void fullincr_update_conflicts(FullincrCSPConfiguration* configuration,Move* move);
00016   int compute_conflict(Configuration* configuration, int var , int val);
00017   Configuration* create_configuration ();
00018 };
00019 
00020 WeightExtensionBinaryCSProblem* weighted_csp(int nbvar, int nbconst, int s, vector<int> ** constraint1, int*** constraint2, vector<int>& wei);
00021 WeightExtensionBinaryCSProblem* weighted_csp_creation (int nbvar, int nbconst, int s, vector<int> ** constraint1, int*** constraint2,  vector<int>* connexions, vector<int>&  wei);
00022 void wextensionbinary_setconnexions(int nbvar, vector<int>* connexions, vector<int>** constraint1);
00023 

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