[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