38 namespace Gecode {
namespace Int {
namespace Exec {
42 std::function<
void(
Space& home)> t0,
43 std::function<
void(
Space& home)> e0)
51 t.update(home, share, p.
t);
52 e.update(home, share, p.
e);
57 std::function<
void(
Space& home)>
t,
58 std::function<
void(
Space& home)>
e) {
70 (void)
new (home)
When(home,x,
t,
e);
bool zero(void) const
Test whether view is assigned to be zero.
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.
int p
Number of positive literals for node type.
Execution has resulted in failure.
bool failed(void) const
Check whether space is failed.
Exception: invalid function
SharedData< std::function< void(Space &home)> > e
Else function pointer.
void notice(Actor &a, ActorProperty p, bool duplicate=false)
Notice actor property.
static ExecStatus post(Home home, BoolView x, std::function< void(Space &home)> t, std::function< void(Space &home)> e)
Post propagator.
Post propagator for SetVar x
Gecode toplevel namespace
When(Space &home, bool share, When &p)
Constructor for cloning p.
Home class for posting propagators
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Boolean view for Boolean variables.