36namespace Gecode {
namespace Int {
namespace Exec {
40 return new (home)
When(home,*
this);
61 t.~SharedData<std::function<void(
Space& home)>>();
62 e.~SharedData<std::function<void(
Space& home)>>();
bool zero(void) const
Test whether view is assigned to be zero.
bool one(void) const
Test whether view is assigned to be one.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
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.
ExecStatus ES_SUBSUMED(Propagator &p)
void ignore(Actor &a, ActorProperty p, bool duplicate=false)
Ignore actor property.
int ModEventDelta
Modification event deltas.
bool failed(void) const
Check whether space is failed.
@ AP_DISPOSE
Actor must always be disposed.
Gecode toplevel namespace
@ ES_FAILED
Execution has resulted in failure.
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.