- a -

• all : wmm.h
• all_loops : wmm.h
• ARRAY_INSENSITIVE : variable_sensitivity_configuration.h
• ARRAY_SENSITIVE : variable_sensitivity_configuration.h
• arrays_only : wmm.h
• ASSERT : goto_program.h
• ASSIGN : goto_program.h
• ASSUME : goto_program.h
• ATOMIC_BEGIN : goto_program.h
• ATOMIC_END : goto_program.h