38 #ifndef __GECODE_INT_CIRCUIT_HH__ 39 #define __GECODE_INT_CIRCUIT_HH__ 49 namespace Gecode {
namespace Int {
namespace Circuit {
58 template<
class View,
class Offset>
89 template<
class View,
class Offset>
122 template<
class View,
class Offset>
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
virtual Actor * copy(Space &home, bool share)=0
Create copy.
Int::Distinct::DomCtrl< View > dc
Propagation controller for propagating distinct.
Offset o
Offset transformation.
ExecStatus path(Space &home)
Ensure path property: prune edges that could give to small cycles.
ViewArray< View > x
Array of views.
ExecStatus connected(Space &home)
Check whether the view value graph is strongly connected.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
ModEventDelta med
A set of modification events (used during propagation)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low linear)
ViewArray< View > y
Array for performing value propagation for distinct.
"Value-consistent" circuit propagator
Converter with fixed offset.
Base(Space &home, bool share, Base &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)=0
Propagation function.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Base-class for circuit propagator.
"Domain consistent" circuit propagator
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Propagation controller for domain consistent distinct.