Generated on Fri Jan 10 2020 11:38:25 for Gecode by doxygen 1.8.16

Modules

 Float views
 Float propagators and branchers compute with float views. Float views provide views on float variable implementations.
 
 Testing relations between float views
 
 Float modification events and propagation conditions
 

Detailed Description