Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6