[gecode-users] Reversible data structures

[Hung Hoang Dieu]

Hi all,

I want to implement a propagator which rollbacks the integer when a
backtracking happens. Ilog CP provides the reversible integer IlcRevInt.
How can I do this in Gecode?

Thank you very much for your help
Hung
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20150811/b14a4cda/attachment.html>