- c -

• c_iterator() : carl::Heap< C >::c_iterator
• cache() : carl::Cache< T >
• Cache() : carl::Cache< T >
• cache() : carl::FactorizedPolynomial< P > , carl::TarskiQueryManager< Number >
• 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 >
• calculateUnion() : carl::BitVector
• 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 >
• ceil_assign() : carl::FLOAT_T< FloatType >
• cend() : carl::MultiplicationTable< Number > , carl::VarsInfo< CoeffType >
• center_assign() : carl::Interval< Number >
• 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
• checkNumOfUnusedEntries() : carl::Cache< T >
• CheckpointVector() : carl::checkpoints::CheckpointVector
• CheckpointVerifier() : carl::checkpoints::CheckpointVerifier
• checkSat() : carl::io::SMTLIBStream
• ChildrenIterator() : 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
• 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::MultivariatePolynomial< Coeff, Ordering, Policies > , carl::Term< Coefficient >
• coefficient() : carl::Constraint< Pol > , carl::FactorizedPolynomial< P > , carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• coefficients() : carl::ContextPolynomial< Coeff, Ordering, Policies > , carl::UnivariatePolynomial< Coefficient >
• coeffs() : carl::VarInfo< CoeffType >
• 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
• compact() : carl::carlVariables
• CompactTree() : carl::CompactTree< Entry, FastIndex >
• compare() : carl::CriticalPairConfiguration< Compare > , 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 >
• 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
• computeProducts() : carl::SignDetermination< Number >
• concat() : carl::BVValue , carl::ThomEncoding< Number >
• conclusion() : carl::Formula< Pol >
• Condition() : carl::Condition
• condition() : carl::Formula< Pol >
• configure() : carl::logging::Formatter , carl::logging::Logger
• 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 >
• constr() : carl::Constraint< Pol >
• Constraint() : carl::Constraint< Pol >
• constraint() : carl::Formula< Pol >
• construct() : carl::io::parser::RationalFunctionParser< Pol >
• constructCoefficient() : carl::io::StringParser
• contained_in() : carl::RealAlgebraicNumberThom< Number >
• containedIn() : carl::ThomEncoding< Number >
• 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 , carl::pool::LocalPoolElementWrapper< Content > , carl::pool::PoolElementWrapper< Content >
• Content() : carl::RealAlgebraicNumberThom< Number >::Content
• Context() : carl::Context
• context() : carl::ContextPolynomial< Coeff, Ordering, Policies >
• ContextPolynomial() : 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_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 >
• cur() : carl::checkpoints::CheckpointVector
• curnode() : carl::tree_detail::BaseIterator< T, Iterator, reverse >