69 x.subscribe(home,*
this);
85 x.cancel(home,*
this);
x=
y;
x.subscribe(home,*
this);
Advisor(Space &home, Propagator &p, Council< A > &c)
Constructor for creation.
void dispose(Space &home, Council< A > &c)
Dispose the advisor.
FloatValImpType x
Implementation of float value.
Base-class for propagators.
ViewAdvisor(Space &home, Propagator &p, Council< A > &c, View x0)
Constructor for creation.
void dispose(Space &home, Council< A > &c)
Delete advisor.
View view(void) const
Access view.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y