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

- a -

• ADD_ONE_TO_ONE_PATTERN : LowerSMTToZ3LLVM.cpp
• ADD_VARIADIC_PATTERN : LowerSMTToZ3LLVM.cpp