assign.hh
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 #ifdef GECODE_HAS_FLOAT_VARS
00047 #include <gecode/float.hh>
00048 #endif
00049
00050 #include "test/test.hh"
00051
00052 namespace Test {
00053
00055 namespace Assign {
00056
00061 class IntTest : public Base {
00062 protected:
00064 int arity;
00066 Gecode::IntSet dom;
00067 public:
00069 IntTest(const std::string& s, int a, const Gecode::IntSet& d);
00071 virtual bool run(void);
00073 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) = 0;
00074 };
00075
00080 class BoolTest : public Base {
00081 protected:
00083 int arity;
00084 public:
00086 BoolTest(const std::string& s, int a);
00088 virtual bool run(void);
00090 virtual void post(Gecode::Space& home, Gecode::BoolVarArray& x) = 0;
00091 };
00092
00093 #ifdef GECODE_HAS_SET_VARS
00094
00099 class SetTest : public Base {
00100 protected:
00102 int arity;
00104 Gecode::IntSet dom;
00105 public:
00107 SetTest(const std::string& s, int a, const Gecode::IntSet& d);
00109 virtual bool run(void);
00111 virtual void post(Gecode::Space& home, Gecode::SetVarArray& x) = 0;
00112 };
00113
00114 #endif
00115
00116 #ifdef GECODE_HAS_FLOAT_VARS
00117
00122 class FloatTest : public Base {
00123 protected:
00125 int arity;
00127 Gecode::FloatVal dom;
00128 public:
00130 FloatTest(const std::string& s, int a, const Gecode::FloatVal& d);
00132 virtual bool run(void);
00134 virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x) = 0;
00135 };
00136
00137 #endif
00138
00139 }
00140
00141 }
00142
00143 #endif
00144
00145