40 namespace Gecode {
namespace Int {
namespace Exec {
44 return new (home)
When(home,share,*
this);
65 t.~SharedData<std::function<void(Space& home)>>();
66 e.~SharedData<std::function<void(Space& home)>>();
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
bool zero(void) const
Test whether view is assigned to be zero.
ExecStatus ES_SUBSUMED(Propagator &p)
Actor must always be disposed.
bool one(void) const
Test whether view is assigned to be one.
SharedData< std::function< void(Space &home)> > t
Then function.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Base-class for both propagators and branchers.
virtual size_t dispose(Space &home)
Dispose propagator.
Execution has resulted in failure.
bool failed(void) const
Check whether space is failed.
SharedData< std::function< void(Space &home)> > e
Else function pointer.
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
void ignore(Actor &a, ActorProperty p, bool duplicate=false)
Ignore actor property.
Gecode toplevel namespace
When(Space &home, bool share, When &p)
Constructor for cloning p.
int ModEventDelta
Modification event deltas.