00001
00007
00008
00009
00010
00011
00012 class ExtensionBinaryCSProblem : public BinaryCSProblem
00013 { public :
00014
00015 ExtensionBinaryCSProblem(int nvar, int nconst, int domain);
00019
00020
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);