34#ifndef __GECODE_INT_EXEC_HH__
35#define __GECODE_INT_EXEC_HH__
63 std::function<
void(
Space& home)>
t,
64 std::function<
void(
Space& home)>
e);
74 std::function<
void(
Space& home)>
t,
75 std::function<
void(
Space& home)>
e);
Home class for posting propagators
Boolean view for Boolean variables.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, BoolView x, std::function< void(Space &home)> t, std::function< void(Space &home)> e)
Post propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
SharedData< std::function< void(Space &home)> > t
Then function.
When(Space &home, When &p)
Constructor for cloning p.
virtual size_t dispose(Space &home)
Dispose propagator.
SharedData< std::function< void(Space &home)> > e
Else function pointer.
ModEventDelta med
A set of modification events (used during propagation)
Class for sharing data between spaces.
UnaryPropagator(Space &home, UnaryPropagator &p)
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Gecode toplevel namespace
Post propagator for SetVar x