54 View
view(
void)
const;
69 x.subscribe(home,*
this);
85 x.cancel(home,*
this);
x=
y;
x.subscribe(home,*
this);
void dispose(Space &home, Council< A > &c)
Delete advisor.
Base-class for propagators.
Advisor storing a single view
View view(void) const
Access view.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Post propagator for SetVar SetOpType SetVar y
void dispose(Space &home, Council< A > &c)
Dispose the advisor.
ViewAdvisor(Space &home, Propagator &p, Council< A > &c, View x0)
Constructor for creation.
Gecode toplevel namespace
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.