38 #ifndef __GECODE_INT_EXEC_HH__
39 #define __GECODE_INT_EXEC_HH__
48 namespace Gecode {
namespace Int {
namespace Exec {
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
void(* t)(Space &)
Then function pointer.
static ExecStatus post(Home home, BoolView x, void(*t)(Space &), void(*e)(Space &))
Post propagator.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
void(* e)(Space &)
Else function pointer.
ModEventDelta med
A set of modification events (used during propagation)
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
#define GECODE_INT_EXPORT
When(Space &home, bool share, When &p)
Constructor for cloning p.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Boolean view for Boolean variables.