[gecode-users] SetDelta::glbAny/lubAny
Johannes Inführ
infuehr at ads.tuwien.ac.at
Tue Feb 7 11:59:55 CET 2012
Hi!
Is it correct that SetDelta::glbAny/lubAny will return true if the delta
represents NO change in the glb/lub?
Kind regards
Johannes
More information about the users
mailing list