Generated on Thu Jul 6 07:07:08 2006 for Gecode by doxygen 1.4.7