38 #ifndef __GECODE_INT_EXEC_HH__ 39 #define __GECODE_INT_EXEC_HH__ 48 namespace Gecode {
namespace Int {
namespace Exec {
67 std::function<
void(
Space& home)> t,
68 std::function<
void(
Space& home)> e);
78 std::function<
void(
Space& home)> t,
79 std::function<
void(
Space& home)> e);
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
When(Space &home, When &p)
Constructor for cloning p.
SharedData< std::function< void(Space &home)> > t
Then function.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
virtual size_t dispose(Space &home)
Dispose propagator.
ModEventDelta med
A set of modification events (used during propagation)
virtual Actor * copy(Space &home)
Copy propagator during cloning.
SharedData< std::function< void(Space &home)> > e
Else function pointer.
Class for sharing data between spaces.
static ExecStatus post(Home home, BoolView x, std::function< void(Space &home)> t, std::function< void(Space &home)> e)
Post propagator.
Post propagator for SetVar x
Gecode toplevel namespace
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Boolean view for Boolean variables.