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.
Base-class for constant views.
Base-class for derived views.
Base-class for propagators.
SubscribedPropagators(VarImp< VIC > &x)
Initialize.
void operator++(void)
Move iterator to next propagator.
void init(VarImp< VIC > &x)
Initialize.
Propagator & propagator(void) const
Return propagator.
ActorLink ** c
Pointing at the current subscription (either propagator or advisor)
ActorLink ** ep
End of propagator subscriptions.
ActorLink ** ea
End of advisor subscriptions.
bool operator()(void) const
Test whether there are propagators left.
Base-class for variable implementation views.
Base-class for variable implementations.
Gecode toplevel namespace
Post propagator for SetVar x