38 std::function<
void(
Space& home)> t0,
39 std::function<
void(
Space& home)> e0)
51 std::function<
void(
Space& home)>
t,
52 std::function<
void(
Space& home)>
e) {
64 (void)
new (home)
When(home,
x,
t,
e);
Home class for posting propagators
Boolean view for Boolean variables.
static ExecStatus post(Home home, BoolView x, std::function< void(Space &home)> t, std::function< void(Space &home)> e)
Post propagator.
SharedData< std::function< void(Space &home)> > t
Then function.
When(Space &home, When &p)
Constructor for cloning p.
SharedData< std::function< void(Space &home)> > e
Else function pointer.
Exception: invalid function
UnaryPropagator(Space &home, UnaryPropagator &p)
bool failed(void) const
Check whether space is failed.
void notice(Actor &a, ActorProperty p, bool duplicate=false)
Notice actor property.
@ AP_DISPOSE
Actor must always be disposed.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x