cosmetic cleanup
Added compile flag "-Wpedantic"
-Wpedantic: removed unneeded ";"
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";"
BOTTOM now private as LAZY_BOOLEAN::BOTTOM
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";", BOTTOM now private as LAZY_BOOLEAN::BOTTOM
workaround for default constructor not being called at all
-Wpedantic: removed unneeded ";"
-Wpedantic: removed unneeded ";"
removed obsolete "continous_begin", "continous_end"; to be replaced by "single_valued", -Wpedantic: removed unneeded ";"
replace "continous_begin"/"continous_end" by "single_valued"
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";", reformatted comments
-Wpedantic: removed unneeded ";"
BOTTOM now private as LAZY_BOOLEAN::BOTTOM, -Wpedantic: removed unneeded ";"