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.
VarImp * varimp(void) const
Return variable implementation of variable.
bool operator()(void) const
Test whether there are propagators left.
Base-class for propagators.
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.
ActorLink ** ea
End of advisor subscriptions.
Post propagator for SetVar x
Gecode toplevel namespace