circuit.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_INT_CIRCUIT_HH__
00039 #define __GECODE_INT_CIRCUIT_HH__
00040
00041 #include "gecode/int.hh"
00042 #include "gecode/int/distinct.hh"
00043
00049 namespace Gecode { namespace Int { namespace Circuit {
00050
00058 template <class View>
00059 class Base : public NaryPropagator<View,PC_INT_DOM> {
00060 protected:
00061 using NaryPropagator<View,PC_INT_DOM>::x;
00063 ViewArray<View> y;
00065 Base(Space* home, bool share, Base& p);
00067 Base(Space* home, ViewArray<View>& x);
00069 ExecStatus connected(Space* home);
00071 ExecStatus path(Space* home);
00073 Reflection::ActorSpec spec(const Space* home, Reflection::VarMap& m,
00074 const Support::Symbol& name) const;
00075 public:
00077 virtual size_t dispose(Space* home);
00078 };
00079
00090 template <class View>
00091 class Val : public Base<View> {
00092 protected:
00093 using Base<View>::x;
00094 using Base<View>::y;
00095 using Base<View>::connected;
00096 using Base<View>::path;
00098 Val(Space* home, bool share, Val& p);
00100 Val(Space* home, ViewArray<View>& x);
00101 public:
00103 virtual Actor* copy(Space* home, bool share);
00105 virtual PropCost cost(ModEventDelta med) const;
00107 virtual ExecStatus propagate(Space* home, ModEventDelta med);
00109 static ExecStatus post(Space* home, ViewArray<View>& x);
00111 virtual Reflection::ActorSpec spec(const Space* home,
00112 Reflection::VarMap& m) const;
00114 static void post(Space* home, Reflection::VarMap& vars,
00115 const Reflection::ActorSpec& spec);
00117 static Support::Symbol ati(void);
00118 };
00119
00130 template <class View>
00131 class Dom : public Base<View> {
00132 protected:
00133 using Base<View>::x;
00134 using Base<View>::y;
00135 using Base<View>::connected;
00136 using Base<View>::path;
00138 Distinct::DomCtrl<View> dc;
00140 Dom(Space* home, bool share, Dom& p);
00142 Dom(Space* home, ViewArray<View>& x);
00143 public:
00145 virtual Actor* copy(Space* home, bool share);
00152 virtual PropCost cost(ModEventDelta med) const;
00154 virtual ExecStatus propagate(Space* home, ModEventDelta med);
00156 virtual Reflection::ActorSpec spec(const Space* home,
00157 Reflection::VarMap& m) const;
00159 static Support::Symbol ati(void);
00161 static void post(Space* home, Reflection::VarMap& vars,
00162 const Reflection::ActorSpec& spec);
00164 static ExecStatus post(Space* home, ViewArray<View>& x);
00165 };
00166
00167 }}}
00168
00169 #include "gecode/int/circuit/base.icc"
00170 #include "gecode/int/circuit/val.icc"
00171 #include "gecode/int/circuit/dom.icc"
00172
00173 #endif
00174
00175