34 #ifndef __GECODE_INT_EXEC_HH__
35 #define __GECODE_INT_EXEC_HH__
44 namespace Gecode {
namespace Int {
namespace Exec {
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);
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Base-class for both propagators and branchers.
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.
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.