Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #ifndef __GECODE_TEST_ASSIGN_HH__
00039 #define __GECODE_TEST_ASSIGN_HH__
00040
00041 #include <gecode/kernel.hh>
00042 #include <gecode/int.hh>
00043 #ifdef GECODE_HAS_SET_VARS
00044 #include <gecode/set.hh>
00045 #endif
00046
00047 #include "test/test.hh"
00048
00049 namespace Test {
00050
00052 namespace Assign {
00053
00058 class IntTest : public Base {
00059 protected:
00061 int arity;
00063 Gecode::IntSet dom;
00064 public:
00066 IntTest(const std::string& s, int a, const Gecode::IntSet& d);
00068 virtual bool run(void);
00070 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) = 0;
00071 };
00072
00077 class BoolTest : public Base {
00078 protected:
00080 int arity;
00081 public:
00083 BoolTest(const std::string& s, int a);
00085 virtual bool run(void);
00087 virtual void post(Gecode::Space& home, Gecode::BoolVarArray& x) = 0;
00088 };
00089
00090 #ifdef GECODE_HAS_SET_VARS
00091
00096 class SetTest : public Base {
00097 protected:
00099 int arity;
00101 Gecode::IntSet dom;
00102 public:
00104 SetTest(const std::string& s, int a, const Gecode::IntSet& d);
00106 virtual bool run(void);
00108 virtual void post(Gecode::Space& home, Gecode::SetVarArray& x) = 0;
00109 };
00110
00111 #endif
00112
00113 }
00114
00115 }
00116
00117 #endif
00118
00119