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_BRANCH_HH__
00039 #define __GECODE_TEST_BRANCH_HH__
00040
00041 #include <gecode/kernel.hh>
00042
00043 #include <gecode/int.hh>
00044
00045 #ifdef GECODE_HAS_SET_VARS
00046 #include <gecode/set.hh>
00047 #endif
00048
00049 #include "test/test.hh"
00050
00051 namespace Test {
00052
00054 namespace Branch {
00055
00060 class IntTest : public Base {
00061 protected:
00063 int arity;
00065 Gecode::IntSet dom;
00066 public:
00068 IntTest(const std::string& s, int a, const Gecode::IntSet& d);
00070 virtual bool run(void);
00072 virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) = 0;
00073 };
00074
00079 class BoolTest : public Base {
00080 protected:
00082 int arity;
00083 public:
00085 BoolTest(const std::string& s, int a);
00087 virtual bool run(void);
00089 virtual void post(Gecode::Space& home, Gecode::BoolVarArray& x) = 0;
00090 };
00091
00092 #ifdef GECODE_HAS_SET_VARS
00093
00097 class SetTest : public Base {
00098 protected:
00100 int arity;
00102 Gecode::IntSet dom;
00103 public:
00105 SetTest(const std::string& s, int a, const Gecode::IntSet& d);
00107 virtual bool run(void);
00109 virtual void post(Gecode::Space& home, Gecode::SetVarArray& x) = 0;
00110 };
00111 #endif
00112
00113 }
00114
00115 }
00116
00117 #endif
00118
00119