Generated on 20 Dec 2012 for libstdc++ by  doxygen 1.6.1