- a -

• add : globals.h
• assign : helper_functions.h , globals.h
• ax : globals.h
• ax_cond : helper_functions.h , globals.h
• ax_rel : helper_functions.h

- c -

• comparison : globals.h
• compressed : helper_functions.h , globals.h
• costmodule : globals.h

- d -

• decrease : helper_functions.h , globals.h
• divis : globals.h
• dummy_end_action : partial_order_lifter.h
• dummy_start_action : partial_order_lifter.h

- e -

• end : helper_functions.h , globals.h
• end_action : partial_order_lifter.h
• end_cond : globals.h , helper_functions.h
• eq : helper_functions.h , globals.h

- g -

• ge : helper_functions.h , globals.h
• gt : helper_functions.h , globals.h

- i -

• increase : helper_functions.h , globals.h

- l -

• le : helper_functions.h , globals.h
• logical : globals.h
• lt : helper_functions.h , globals.h

- m -

• module : globals.h
• mult : globals.h

- o -

• overall_cond : helper_functions.h , globals.h

- p -

• primitive_functional : globals.h

- s -

• scale_down : helper_functions.h , globals.h
• scale_up : globals.h , helper_functions.h
• start : helper_functions.h , globals.h
• start_action : partial_order_lifter.h
• start_cond : helper_functions.h , globals.h
• subterm_functional : globals.h
• subtract : globals.h

- u -

• ue : helper_functions.h , globals.h