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

- a -

• ATOMIC_READ : sylvan.h

- b -

• BOOST_SPIRIT_UNICODE : SpiritParserDefinitions.h
• BOOST_SPIRIT_USE_PHOENIX_V3 : SpiritParserDefinitions.h

- c -

• cas : sylvan.h
• CHOICE_COUNT : MarkovAutomatonSparseTransitionParserTest.cpp

- e -

• exprtk_disable_caseinsensitivity : ExprttkAdapter.h
• ExtendEnumsWithSelectionField : ExtendSettingEnumWithSelectionField.h

- m -

• MACROaddValidator : ArgumentBuilder.h
• MACROsetDefaultValue : ArgumentBuilder.h

- p -

• PPCAT : ArgumentBuilder.h
• PPCAT_NX : ArgumentBuilder.h

- s -

• S : math.h
• STATE_COUNT : MarkovAutomatonSparseTransitionParserTest.cpp
• STORM_LOG_ASSERT : macros.h
• STORM_LOG_DEBUG : logging.h
• STORM_LOG_ERROR : logging.h
• STORM_LOG_ERROR_COND : macros.h
• STORM_LOG_INFO : logging.h
• STORM_LOG_INFO_COND : macros.h
• STORM_LOG_THROW : macros.h
• STORM_LOG_TRACE : logging.h
• STORM_LOG_WARN : logging.h
• STORM_LOG_WARN_COND : macros.h
• STORM_LOG_WARN_COND_DEBUG : macros.h
• STORM_NEW_EXCEPTION : ExceptionMacros.h
• STORM_PARSER_AUTOPARSER_HINT_LENGTH : AutoParser.h
• STORM_PRINT : macros.h
• STORM_PRINT_AND_LOG : macros.h
• STORM_SILENT_ASSERT_THROW : storm_gtest.h
• STORM_SILENT_EXPECT_THROW : storm_gtest.h

- w -

• WRITE_DTMCS : TimeTravelling.cpp