54 View
view(
void)
const;
69 x.subscribe(home,*
this);
85 x.cancel(home,*
this);
x=
y;
x.subscribe(home,*
this);
int p
Number of positive literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
void dispose(Space &home, Council< A > &c)
Dispose the advisor.
Base-class for propagators.
Advisor storing a single view
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
Post propagator for SetVar x