Generated for BoolStuff by doxygen 1.7.1