00001
00002
00003
00004
00005
00006
00012 class ExtensionBinaryCSProblem : public BinaryCSProblem
00013 { public :
00014
00015 ExtensionBinaryCSProblem(int nvar, int nconst, int domain);
00016
00017
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);