Here is a list of all file members with links to the files they belong to:

• foreach : common_defs.h
• MAX_CYCLIC_UPDATES : event.h , predicate.h
• MAX_UPDATE_COUNTER : predicate_manager.h