38#ifndef __GECODE_FLOAT_CHANNEL_HH__
39#define __GECODE_FLOAT_CHANNEL_HH__
57 template<
class A,
class B>
Propagator for bounds consistent integer part operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Create copy during cloning.
Channel(Space &home, Channel &p)
Constructor for cloning p.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Home class for posting propagators
MixBinaryPropagator(Space &home, MixBinaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace