[Gecode] propagators, events, updated variables and domain deltas

[Grégoire Dooms]

Hi,

I've been reading the source code of gecode and I would like to ask you 
a few basic questions.

Looking at the implementation of singleton elimination in 
int/distinct/val.icc, the propagator scans all the variables in order to 
know which are singletons and which are not.
It looks like there is no way for a propagator to know which variable(s) 
triggered it. Is this right ?

When a propagator is awakened by a variable (int or set) domain update, 
I would like to be able to know which values where taken out of the 
domain. Is there an other way than to compare the new domains of the 
variables with a previously stored copy of these domains ?

--
Grégoire Dooms