58 View
view(
void)
const;
73 x.subscribe(home,*
this);
80 x.update(home,share,a.
x);
90 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
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
View view(void) const
Access view.
Node * x
Pointer to corresponding Boolean expression node.
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::@518::NNF::@57::@59 a
For atomic nodes.