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 "gecode/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 BinaryPropagator<SetView,PC_SET_ANY> {
00070 protected:
00072 ConvexHull(Space* home, bool share, ConvexHull&);
00074 ConvexHull(Space* home, SetView, SetView);
00075 public:
00077 GECODE_SET_EXPORT virtual Actor* copy(Space* home,bool);
00079 GECODE_SET_EXPORT virtual ExecStatus propagate(Space* home);
00081 static ExecStatus post(Space* home,SetView x,SetView y);
00082 };
00083
00084
00085 }}}
00086
00087 #include "gecode/set/convex/conv.icc"
00088 #include "gecode/set/convex/hull.icc"
00089
00090 #endif
00091
00092