Generated for BoolStuff by doxygen 1.5.7.1