81 ep = x.actorNonZero(x.pc_max+1);
ea = x.b.
base+x.entries;
129 return (
c <
ep) ? *Propagator::cast(*
c) : Advisor::cast(*c)->propagator();
Double-linked list for actors.
SubscribedPropagators(VarImp< VIC > &x)
Initialize.
Iterator over subscribed propagators.
ActorLink ** c
Pointing at the current subscription (either propagator or advisor)
Base-class for variable implementations.
void init(VarImp< VIC > &x)
Initialize.
bool operator()(void) const
Test whether there are propagators left.
void varimp(VarImpType *y)
Set variable implementation to y.
Base-class for propagators.
ActorLink ** base
Subscribed actors.
Base-class for constant views.
ActorLink ** ep
End of propagator subscriptions.
Base-class for derived views.
Propagator & propagator(void) const
Return propagator.
void operator++(void)
Move iterator to next propagator.
Base-class for variable implementation views.
Node * x
Pointer to corresponding Boolean expression node.
ActorLink ** ea
End of advisor subscriptions.
VarImpType * varimp(void) const
Return variable implementation of view.
Gecode toplevel namespace