Generated for BoolStuff by doxygen 1.6.1