convex.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 #ifndef __GECODE_SET_CONVEX_HH__
00029 #define __GECODE_SET_CONVEX_HH__
00030
00031 #include "set.hh"
00032
00033 namespace Gecode { namespace Set { namespace Convex {
00034
00047 class Convex : public UnaryPropagator<SetView,PC_SET_ANY> {
00048 protected:
00050 Convex(Space* home, bool share,Convex& p);
00052 Convex(Space* home,SetView);
00053 public:
00055 GECODE_SET_EXPORT virtual Actor* copy(Space* home,bool);
00057 GECODE_SET_EXPORT virtual ExecStatus propagate(Space* home);
00059 static ExecStatus post(Space* home,SetView x);
00060 };
00061
00069 class ConvexHull : public Propagator {
00070 protected:
00071 SetView x0;
00072 SetView x1;
00074 ConvexHull(Space* home, bool share,ConvexHull&);
00076 ConvexHull(Space* home,SetView,SetView);
00077 public:
00079 GECODE_SET_EXPORT virtual Actor* copy(Space* home,bool);
00081 GECODE_SET_EXPORT virtual ExecStatus propagate(Space* home);
00082 GECODE_SET_EXPORT virtual PropCost cost(void) const;
00084 GECODE_SET_EXPORT virtual ~ConvexHull(void);
00086 static ExecStatus post(Space* home,SetView x,SetView y);
00087 };
00088
00089
00090 }}}
00091
00092 #include "set/convex/conv.icc"
00093 #include "set/convex/hull.icc"
00094
00095 #endif
00096
00097