Generated for BoolStuff by doxygen 1.6.2-20100208