Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- _ -

• __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
• DoubleInterval : IntervalContractionExample.cpp

- e -

• execute() : GroebnerExample.cpp

- 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
• Integer : IntervalCoefficientExample.cpp , IntervalContractionExample.cpp , IntervalExample.cpp , MultivariatePolynomial_Create.cpp
• IS_EMPTY : Interval.h
• IS_UNBOUNDED : Interval.h

- m -

• main() : GroebnerExample.cpp , Variable_Create.cpp , MultivariatePolynomial_Create.cpp , Monomial_Create.cpp , MpqIntervalExample.cpp , MpfrTest.cpp , IntervalExample.cpp , IntervalContractionExample.cpp , IntervalCoefficientExample.cpp , HornerTest.cpp , FloatExample.cpp
• MAX_CYCLIC : GroebnerExample.cpp
• MAX_KATSURA : GroebnerExample.cpp
• MAX_NUM_OF_COMBINATION_RESULT : substitute.h
• MAX_PRODUCT_SPLIT_NUMBER : substitute.h
• MONOMIAL_POOL_LOCK : MonomialPool.h
• MONOMIAL_POOL_LOCK_GUARD : MonomialPool.h
• MONOMIAL_POOL_UNLOCK : MonomialPool.h

- o -

• operator<<() : GroebnerExample.cpp

- p -

• Pol : HornerTest.cpp
• PolynomialContraction : IntervalContractionExample.cpp
• POOL_LOCK : Pool.h
• POOL_LOCK_GUARD : Pool.h
• POOL_UNLOCK : Pool.h

- r -

• Rational : HornerTest.cpp , IntervalCoefficientExample.cpp , IntervalContractionExample.cpp , IntervalExample.cpp , MultivariatePolynomial_Create.cpp
• 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