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.
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@602::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.
Post propagator for SetVar SetOpType SetVar y
Gecode::FloatVal c(-8, 8)