Here is a list of all documented file members with links to the documentation:

• PIMPL_OPERATORS : Common.h
• promela__delete_buffer() : PromelaParser.cpp
• promela__scan_buffer() : PromelaParser.cpp
• VERBOSE_FIND_LCCA : Predicates.cpp