Here is a list of all struct and union fields with links to the structures/unions they belong to:

- c -

• c : carl::ConvertFrom< C > , carl::ConvertTo< C >
• c_iterator() : carl::Heap< C >::c_iterator
• cache() : carl::Cache< T >
• Cache() : carl::Cache< T >
• cache() : carl::FactorizedPolynomial< P >
• CACHE : carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• cache() : carl::TarskiQueryManager< Number >
• CACHE : carl::UnivariatePolynomial< Coefficient >
• CachedConstraintContent() : carl::CachedConstraintContent< Pol >
• cacheRef() : carl::FactorizedPolynomial< P >
• calc_hash() : carl::Monomial
• calc_total_degree() : carl::Monomial
• calcLcmAndDivideBy() : carl::Monomial , carl::Term< Coefficient >
• calculate() : carl::AbstractGBProcedure< Polynomial > , carl::Buchberger< Polynomial, AddingPolicy > , carl::EEA< IntegerType > , carl::EZGCD< Coeff, Ordering, Policies > , carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy > , carl::MultivariateHensel< Coeff, Ordering, Policies >
• calculate_recursive() : carl::EEA< IntegerType >
• calculateRealRadical : carl::DefaultBuchbergerSettings
• calculateUnion() : carl::BitVector
• callable : carl::detail::stream_joined_impl< T, F >
• canBeUpdated : carl::PolynomialFactorizationPair< P >
• capacity() : carl::CompactTree< Entry, FastIndex >
• carl::FLOAT_T() : std::numeric_limits< carl::FLOAT_T< Number > >
• carlVariables() : carl::carlVariables
• cbegin() : carl::MultiplicationTable< Number > , carl::VarsInfo< CoeffType >
• cbrt() : carl::FLOAT_T< FloatType >
• cbrt_assign() : carl::FLOAT_T< FloatType >
• ceil() : carl::FLOAT_T< FloatType > , carl::IntRepRealAlgebraicNumber< Number >
• ceil_assign() : carl::FLOAT_T< FloatType >
• cend() : carl::MultiplicationTable< Number > , carl::VarsInfo< CoeffType >
• center_assign() : carl::Interval< Number >
• Channels : carl::checkpoints::CheckpointVerifier
• channelwidth : carl::logging::Formatter
• Chebyshev() : carl::Chebyshev< Number >
• check() : carl::checkpoints::CheckpointVerifier , carl::logging::Filter
• check_finish() : carl::statistics::Timer
• check_interval_bounds() : carl::ran::interval::RealRootIsolation< Number >
• check_rehash() : carl::FormulaPool< Pol > , carl::MonomialPool , carl::pool::LocalPool< Content > , carl::pool::Pool< Content >
• checkFactorization() : carl::Factorization< P > , carl::PolynomialFactorizationPair< P >
• checkIndices() : carl::SortManager
• checkingP : carl::policies< Number, Interval > , carl::policies< double, Interval >
• checkNumOfUnusedEntries() : carl::Cache< T >
• Checkpoint : carl::checkpoints::CheckpointVector
• CheckpointVector() : carl::checkpoints::CheckpointVector
• CheckpointVerifier() : carl::checkpoints::CheckpointVerifier
• checkSat() : carl::io::SMTLIBStream
• ChildrenIterator : carl::tree< T > , carl::tree_detail::ChildrenIterator< T, reverse >
• chooseCache() : carl::FactorizedPolynomial< P >
• clean() : carl::Cache< T > , carl::Model< Rational, Poly >
• clear() : carl::BitVector , carl::carlVariables , carl::checkpoints::CheckpointVector , carl::checkpoints::CheckpointVerifier , carl::CompactTree< Entry, FastIndex > , carl::Ideal< Polynomial, Datastructure, CacheSize > , carl::IDPool , carl::io::DIMACSExporter< Pol > , carl::Model< Rational, Poly > , carl::SortManager , carl::Term< Coefficient > , carl::tree< T > , carl::VariablePool
• clock : carl::Timer
• clone() : carl::ModelConditionalSubstitution< Rational, Poly > , carl::ModelFormulaSubstitution< Rational, Poly > , carl::ModelMVRootSubstitution< Rational, Poly > , carl::ModelPolynomialSubstitution< Rational, Poly > , carl::ModelSubstitution< Rational, Poly > , carl::ModelValue< Rational, Poly >
• cmpEqual() : carl::CriticalPairConfiguration< Compare > , carl::ReductorConfiguration< Polynomial >
• cmpLessThan() : carl::CriticalPairConfiguration< Compare > , carl::ReductorConfiguration< Polynomial >
• codomain() : carl::UFContent , carl::UninterpretedFunction
• coeff : carl::io::parser::ExpressionParser< Pol > , carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• Coeff : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration > , carl::ReductorEntry< Polynomial >
• coeff() : carl::Term< Coefficient >
• Coeff : carl::TermAdditionManager< Polynomial, Ordering >
• coefficient() : carl::Constraint< Pol > , carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• coefficients() : carl::ContextPolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• CoefficientType : carl::Term< Coefficient >
• coeffs() : carl::VarInfo< CoeffType >
• CoeffType : carl::FactorizedPolynomial< P > , carl::io::parser::ExpressionParser< Pol > , carl::MultivariateHorner< PolynomialType, strategy > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::RationalFunction< Pol, AutoSimplify > , carl::UnivariatePolynomial< Coefficient >
• collect() : carl::statistics::MultiCounter< T > , carl::statistics::Series , carl::statistics::Statistics , carl::statistics::StatisticsCollector , carl::statistics::Timer
• collected() : carl::statistics::Statistics
• comment() : carl::io::SMTLIBStream
• commonDivisor : carl::FactorizedPolynomial< P >
• commonMultiple : carl::FactorizedPolynomial< P >
• compact() : carl::carlVariables
• CompactTree() : carl::CompactTree< Entry, FastIndex >
• CompactTree< Entry, FastIndex > : carl::CompactTree< Entry, FastIndex >::Node
• compare() : carl::CriticalPairConfiguration< Compare > , carl::IntRepRealAlgebraicNumber< Number > , carl::MonomialComparator< f, degreeOrdered > , carl::ReductorConfiguration< Polynomial > , carl::SignCondition , carl::TermAdditionManager< Polynomial, Ordering > , carl::ThomEncoding< Number >
• compareByLeadingTerm() : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• compareByNrTerms() : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• compareDifferentLevels() : carl::ThomEncoding< Number >
• compareDifferentPoly() : carl::ThomEncoding< Number >
• compareGradedLexical() : carl::Monomial
• compareLexical() : carl::Monomial
• compareRational() : carl::ThomEncoding< Number >
• CompareResult : carl::CriticalPairConfiguration< Compare > , carl::ReductorConfiguration< Polynomial >
• compatible() : carl::Bitset::iterator
• complexity() : carl::BVConstraint , carl::BVTerm , carl::BVTermContent , carl::FactorizedPolynomial< P > , carl::UEquality , carl::UFInstance , carl::UTerm
• compute_roots() : carl::ran::interval::RealRootIsolation< Number >
• computeHash() : carl::BVTermContent
• computePolynomial : carl::FactorizedPolynomial< P > , carl::PolynomialFactorizationPair< P >
• computeProducts() : carl::SignDetermination< Number >
• concat() : carl::BVValue , carl::ThomEncoding< Number >
• conclusion() : carl::Formula< Pol >
• Condition() : carl::Condition
• condition() : carl::Formula< Pol >
• Configuration : carl::Heap< C >
• configure() : carl::logging::Formatter , carl::logging::Logger
• const_iterator : carl::BitVector , carl::carlVariables , carl::Formula< Pol > , carl::Heap< C >
• const_reverse_iterator : carl::Formula< Pol >
• constant_part() : carl::ContextPolynomial< Coeff, Ordering, Policies > , carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::RationalFunction< Pol, AutoSimplify > , carl::SqrtEx< Poly > , carl::UnivariatePolynomial< Coefficient >
• ConstConstraintPtr : carl::BVConstraintPool
• ConstElementPtr : carl::Pool< Element >
• constr() : carl::Constraint< Pol >
• Constraint : carl::BVConstraintPool , carl::Constraint< Pol >
• constraint() : carl::Formula< Pol >
• ConstraintPtr : carl::BVConstraintPool
• constraints : carl::io::OPBFile
• construct() : carl::io::parser::RationalFunctionParser< Pol >
• constructCoefficient() : carl::io::StringParser
• ConstructorOperation : carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• ConstTermPtr : carl::BVTermPool
• contained_in() : carl::RealAlgebraicNumberThom< Number >
• containedIn() : carl::ThomEncoding< Number >
• Container : carl::Cache< T >
• contains() : carl::BaseRepresentation< Number > , carl::Formula< Pol > , carl::Interval< Number > , carl::Model< Rational, Poly > , carl::MultiplicationTable< Number >
• contains_integer() : carl::Interval< Number >
• content() : carl::BVTermContent , carl::ContextPolynomial< Coeff, Ordering, Policies > , carl::FactorizedPolynomial< P > , carl::Interval< Number > , carl::IntRepRealAlgebraicNumber< Number >::content , carl::io::MapleStream , carl::io::QEPCADStream , carl::io::SMTLIBStream
• Content : carl::Monomial
• content() : carl::pool::LocalPoolElementWrapper< Content > , carl::pool::PoolElementWrapper< Content >
• Content() : carl::RealAlgebraicNumberThom< Number >::Content
• ContentType : carl::BVTermContent
• Context() : carl::Context
• context() : carl::ContextPolynomial< Coeff, Ordering, Policies >
• ContextPolynomial() : carl::ContextPolynomial< Coeff, Ordering, Policies >
• ContextType : carl::ContextPolynomial< Coeff, Ordering, Policies >
• contract() : carl::contractor::Contractor< Origin, Polynomial, Number > , carl::SimpleNewton< Polynomial >
• Contraction() : carl::Contraction< Operator, Polynomial >
• Contractor() : carl::contractor::Contractor< Origin, Polynomial, Number >
• conv : carl::tuple_convert< Converter, Information, FOut, TOut >
• conv_down() : carl::rounding< Number >
• conv_up() : carl::rounding< Number >
• convert() : carl::convert_poly::ConvertHelper< ContextPolynomial< A, B, C >, MultivariatePolynomial< A, B, C > > , carl::convert_poly::ConvertHelper< MultivariatePolynomial< A, B, C >, ContextPolynomial< A, B, C > > , carl::io::OPBImporter< Pol > , carl::UnivariatePolynomial< Coefficient >
• convex_hull() : carl::Interval< Number >
• coprime_coefficients() : carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• coprime_coefficients_sign_preserving() : carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• coprime_factor() : carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• coprime_factor_without_constant() : carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• cor() : carl::GroebnerBase< Number >
• cos() : carl::FLOAT_T< FloatType >
• cos_assign() : carl::FLOAT_T< FloatType >
• cos_down() : carl::rounding< Number >
• cos_up() : carl::rounding< Number >
• cosh() : carl::FLOAT_T< FloatType >
• cosh_assign() : carl::FLOAT_T< FloatType >
• cosh_down() : carl::rounding< Number >
• cosh_up() : carl::rounding< Number >
• count() : carl::Bitset , carl::statistics::Timer
• create() : carl::BVConstraint , carl::BVConstraintPool , carl::BVTermPool , carl::FormulaPool< Pol > , carl::MonomialPool
• create_safe() : carl::IntRepRealAlgebraicNumber< Number >
• createBinary() : carl::io::parser::FormulaParser< Pol >
• createFile() : carl::io::OPBParser
• createImplication() : carl::FormulaPool< Pol >
• createITE() : carl::FormulaPool< Pol >
• createNAry() : carl::FormulaPool< Pol >
• createNary() : carl::io::parser::FormulaParser< Pol >
• createNegatedContent() : carl::FormulaPool< Pol >
• createNewEntry() : carl::TermAdditionManager< Polynomial, Ordering >
• createNode() : carl::tree< T >
• createTseitinVar() : carl::FormulaPool< Pol >
• CriticalPairs() : carl::CriticalPairs< Datastructure, Configuration >
• CriticalPairsEntry() : carl::CriticalPairsEntry< Compare >
• cstring : carl::io::InvalidInputStringException
• cur() : carl::checkpoints::CheckpointVector
• curnode() : carl::tree_detail::BaseIterator< T, Iterator, reverse >
• current : carl::tree_detail::BaseIterator< T, Iterator, reverse >
• curVecElem : carl::BitVector::forward_iterator
• CXXCompiler : carl::CompileInfo
• CXXCompilerVersion : carl::CompileInfo