Generated for BoolStuff by doxygen 1.5.8