00001
00002
00003
00004 class WeightExtensionBinaryCSProblem : public ExtensionBinaryCSProblem
00005 { public :
00007
00008 vector<int> cstweights;
00010
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