[gecode-users] Elapsed time and timeout

[Tommaso Urli]

Hello everyone,
     I'm a fairly new Gecode user, and I'm experimenting with heuristic 
branchers and search engines. Now, I'd like to add some adaptivity, with 
respect to the allowed execution time, in a brancher, but I cannot find 
a way to access this data (timeout and elapsed time). The MPG doesn't 
seem to mention it and I don't know where else to look, but I'm quite 
sure it must be described somewhere. Could you point me to some 
documentation on the matter?

Thank you,
Tommaso Urli