- _ -

• __CARL_LOG : logging.h
• __CARL_LOG_ASSERT : logging.h
• __CARL_LOG_DEBUG : logging.h
• __CARL_LOG_ERROR : logging.h
• __CARL_LOG_FATAL : logging.h
• __CARL_LOG_FUNC : logging.h
• __CARL_LOG_INFO : logging.h
• __CARL_LOG_NOFUNC : logging.h
• __CARL_LOG_RECORD : logging.h
• __CARL_LOG_RECORD_NOFUNC : logging.h
• __CARL_LOG_TRACE : logging.h
• __CARL_LOG_WARN : logging.h
• __UNSUPPORTED : platform.h

- a -

• ACTIVITY_LOCK_GUARD : Formula.h
• ASSERT_CACHE_EQUAL : FactorizedPolynomial.h
• ASSERT_CACHE_REF_LEGAL : FactorizedPolynomial.h

- b -

• BOOST_SPIRIT_USE_PHOENIX_V3 : parser.h , OPBImporter.cpp , Common.h , SpiritHelper.h
• BOOST_STACKTRACE_GNU_SOURCE_NOT_REQUIRED : debug.cpp
• BOUNDS_OK : Interval.h
• BV_CONSTRAINT_POOL : BVConstraintPool.h
• BV_TERM_POOL : BVTermPool.cpp , BVTermPool.h

- c -

• CARL_ADD_CHECKPOINT : carl-checkpoints.h
• CARL_BUILD_DEBUG : config.h
• CARL_CALL_STATISTICS : carl-statistics.h
• CARL_CHECKPOINT : carl-checkpoints.h
• CARL_CLEAR_CHECKPOINT : carl-checkpoints.h
• CARL_INIT_STATISTICS : carl-statistics.h
• CARL_LOG_ASSERT : carl-logging.h
• CARL_LOG_DEBUG : carl-logging.h
• CARL_LOG_ERROR : carl-logging.h
• CARL_LOG_FATAL : carl-logging.h
• CARL_LOG_FUNC : carl-logging.h
• CARL_LOG_INEFFICIENT : carl-logging.h
• CARL_LOG_INFO : carl-logging.h
• CARL_LOG_NOTIMPLEMENTED : carl-logging.h
• CARL_LOG_TRACE : carl-logging.h
• CARL_LOG_WARN : carl-logging.h
• CARL_TIME_FINISH : carl-statistics.h
• CARL_TIME_START : carl-statistics.h
• constant_declarations : constants.h
• constant_one_declaration_type : constants.h
• constant_zero_declaration_type : constants.h
• CONSTEXPR : MultivariateHornerSettings.h
• CONSTRAINT_HASH : BasicConstraint.h

- d -

• DATASTRUCTURES_POOL_LOCK : LocalPool.h , Pool.h
• DATASTRUCTURES_POOL_LOCK_GUARD : LocalPool.h , Pool.h
• DATASTRUCTURES_POOL_UNLOCK : LocalPool.h , Pool.h

- f -

• FORMULA_POOL_LOCK : FormulaPool.h
• FORMULA_POOL_LOCK_GUARD : FormulaPool.h
• FORMULA_POOL_UNLOCK : FormulaPool.h
• FRESHVAR_LOCK_GUARD : VariablePool.h

- h -

• has_function_overload : SFINAE.h
• has_method_struct : SFINAE.h

- i -

• IDPOOL_LOCK : IDPool.h
• INCLUDED_FROM_NUMBERS_H : numbers.h
• INITIAL_OFFSET : ThomEncoding.h
• IS_EMPTY : Interval.h
• IS_UNBOUNDED : Interval.h

- m -

• MONOMIAL_POOL_LOCK : MonomialPool.h
• MONOMIAL_POOL_LOCK_GUARD : MonomialPool.h
• MONOMIAL_POOL_UNLOCK : MonomialPool.h

- p -

• POOL_LOCK : Pool.h
• POOL_LOCK_GUARD : Pool.h
• POOL_UNLOCK : Pool.h

- r -

• REGISTER_ASSERT : debug.h
• REGISTERED_ASSERT : debug.h
• run_cyclic_case : cyclic.h
• run_katsura_case : katsura.h

- s -

• SETNAME_LOCK_GUARD : VariablePool.h
• SIMPLIFY_FORMULA : FormulaPool.h
• STRINGIFY : platform.h
• SWAP_TERMS : TermAdditionManager.h

- t -

• TAM_LOCK : TermAdditionManager.h
• TAM_LOCK_GUARD : TermAdditionManager.h
• TAM_UNLOCK : TermAdditionManager.h
• TRAIT_FALSE : typetraits.h
• TRAIT_TRUE : typetraits.h
• TRAIT_TYPE : typetraits.h

- u -

• UNREGISTER_ASSERT : debug.h
• USE_BLISS : config.h
• USE_COCOA : config.h
• USE_LIBPOLY : config.h

- v -

• VARIABLES_LOCK_GUARD : Formula.h