[gecode-users] Variable::pme(Propagator*)

[Mikael Zayenz Lagerkvist]

Hi,

Every Propagator contains a field called pme
(PropagatorModificationEvents). This field records the modification
events since the propagator was last run.

The member
  static ModeEvent pme(const Propagator*)
in variables in Gecode is a function that extracts the
modification-event for that variable-type. Note that the function is
static, so there is no "this variable". Views also have this function,
allowing them to do view-specific translations for the ModEvents.

The pme-field can also be used in conjunction with staged propagation.
See [1] for a description of the general idea. For an example, the
implementation of distinct uses this technique.

Hope this helps
Mikael

[1] Speeding up constraint propagation,
http://web.it.kth.se/~schulte/paper.html?id=SchulteStuckey:CP:2004

On 5/22/06, Grégoire Dooms <dooms at info.ucl.ac.be> wrote:
> Hello,
> The documentation comment for pme is : Return modification event for
> variable from propagator p.
>
> Is it the maximum ModEvent for this Variable since the space last was
> stable ?
> Or is it the maximum ModEvent for this variable since the propagator was
> called last ?
> Or something else ?
>
> Best,
> --
> Grégoire
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>


--
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/