- m -

• m_coeffs : carl::VarInfo< CoeffType >
• m_comparison : carl::VariableAssignment< Poly >
• m_constant_part : carl::SqrtEx< Poly >
• m_constraint : carl::CachedConstraintContent< Pol >
• m_content : carl::ContextPolynomial< Coeff, Ordering, Policies > , carl::IntRepRealAlgebraicNumber< Number > , carl::pool::LocalPoolElement< Content > , carl::pool::LocalPoolElementWrapper< Content > , carl::pool::PoolElement< Content > , carl::pool::PoolElementWrapper< Content >
• m_context : carl::ContextPolynomial< Coeff, Ordering, Policies >
• m_count : carl::statistics::Series , carl::statistics::Timer
• m_current_start : carl::statistics::Timer
• m_data : carl::RealRootsResult< RAN > , carl::statistics::MultiCounter< T > , carl::VarsInfo< CoeffType >
• m_denominator : carl::SqrtEx< Poly >
• m_element : carl::Constraint< Pol >
• m_factor : carl::SqrtEx< Poly >
• m_hash : carl::BasicConstraint< Pol >
• m_id : carl::pool::LocalPoolElementWrapper< Content > , carl::pool::PoolElementWrapper< Content >
• m_ids : carl::pool::LocalPool< Content > , carl::pool::Pool< Content >
• m_ir_assignments : carl::ran::interval::ran_evaluator< Number >
• m_k : carl::MultivariateRoot< Poly >
• m_lhs : carl::BasicConstraint< Pol >
• m_lhs_factorization : carl::CachedConstraintContent< Pol >
• m_max : carl::statistics::Series
• m_max_degree : carl::VarInfo< CoeffType >
• m_min : carl::statistics::Series
• m_min_degree : carl::VarInfo< CoeffType >
• m_negated : carl::VariableComparison< Poly >
• m_num_occurences : carl::VarInfo< CoeffType >
• m_original_poly : carl::ran::interval::ran_evaluator< Number >
• m_overall : carl::statistics::Timer
• m_poly : carl::MultivariateRoot< Poly > , carl::ran::interval::ran_evaluator< Number >
• m_pool : carl::pool::LocalPool< Content > , carl::pool::LocalPoolElementWrapper< Content > , carl::pool::Pool< Content >
• m_pool_buckets : carl::pool::LocalPool< Content > , carl::pool::Pool< Content >
• m_radicand : carl::SqrtEx< Poly >
• m_rehash_policy : carl::pool::LocalPool< Content > , carl::pool::Pool< Content >
• m_relation : carl::BasicConstraint< Pol > , carl::VariableComparison< Poly >
• m_sqrt_ex : carl::vs::Term< Poly >
• m_sum : carl::statistics::Series
• m_term : carl::vs::detail::Substitution< Poly >
• m_total : carl::statistics::MultiCounter< T >
• m_type : carl::vs::Term< Poly >
• m_value : carl::VariableComparison< Poly >
• m_var : carl::MultivariateRoot< Poly > , carl::ran::interval::ran_evaluator< Number > , carl::VariableComparison< Poly >
• m_var_info_map : carl::CachedConstraintContent< Pol >
• m_variable : carl::vs::detail::Substitution< Poly >
• m_variable_order : carl::Context
• m_variables : carl::CachedConstraintContent< Pol >
• m_weak_ptr : carl::pool::LocalPoolElementWrapper< Content > , carl::pool::PoolElementWrapper< Content >
• mActivity : carl::FormulaContent< Pol >
• mActivityDecrementFactor : carl::Cache< T >
• mActivityIncrement : carl::Cache< T >
• mActivityThreshold : carl::Cache< T >
• mAda : carl::SignDetermination< Number >
• mAdaHelper : carl::SignDetermination< Number >
• mAddedSinceCompact : carl::carlVariables
• main : carl::io::parser::ExpressionParser< Pol > , carl::io::parser::FormulaParser< Pol > , carl::io::parser::PolynomialParser< Pol > , carl::io::parser::RationalFunctionParser< Pol > , carl::io::Skipper , carl::parser::RationalParser< T, Iterator >
• mAllOptions : carl::settings::SettingsParser
• mArgs : carl::UFInstanceContent
• mAuxFormula : carl::AuxQuantifierContent< Pol >
• max_exponent : std::numeric_limits< carl::FLOAT_T< Number > >
• max_exponent10 : std::numeric_limits< carl::FLOAT_T< Number > >
• MAXINT : carl::tree< T >
• mayExceed : carl::checkpoints::CheckpointVector
• mBase : carl::GroebnerBase< Number > , carl::MultiplicationTable< Number >
• mBit : carl::Bitset::iterator
• mBits : carl::BitVector
• mBitset : carl::Bitset::iterator
• mCache : carl::Cache< T > , carl::FactorizationFactory< uint > , carl::TarskiQueryManager< Number >
• mCachedValue : carl::ModelSubstitution< Rational, Poly >
• mCacheReductionAmount : carl::Cache< T >
• mCacheRef : carl::FactorizedPolynomial< P >
• mCacheRefs : carl::Cache< T >
• mChannels : carl::checkpoints::CheckpointVerifier
• mClauses : carl::io::DIMACSExporter< Pol >
• mCodomain : carl::UFContent
• mCoeff : carl::Term< Coefficient >
• mCoefficient : carl::FactorizedPolynomial< P >
• mCoefficients : carl::UnivariatePolynomial< Coefficient >
• mCollected : carl::statistics::Statistics
• mColor : carl::formula::symmetry::GraphBuilder< Poly >
• mConst : carl::formula::symmetry::ColorGenerator< Number >
• mConst_dependent : carl::MultivariateHorner< PolynomialType, strategy >
• mConst_independent : carl::MultivariateHorner< PolynomialType, strategy >
• mConstraint : carl::Contraction< Operator, Polynomial > , carl::io::OPBParser
• mContent : carl::BVTermContent , carl::FormulaContent< Pol > , carl::Interval< Number > , carl::PreventConversion< T > , carl::RealAlgebraicNumberThom< Number > , carl::Variable
• mCurrent : carl::checkpoints::CheckpointVector
• mData : carl::Bitset , carl::checkpoints::CheckpointVector , carl::io::detail::SMTLIBOutputContainer< Args > , carl::logging::Filter , carl::logging::Logger , carl::Model< Rational, Poly > , carl::ModelValue< Rational, Poly > , carl::ModelVariable , carl::TermAdditionManager< Polynomial, Ordering >
• mDatastruct : carl::CriticalPairs< Datastructure, Configuration > , carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• mDecay : carl::Cache< T >
• mDeclarations : carl::SortManager
• mDefault : carl::Bitset
• mDefinitions : carl::SortManager
• mDenominator : carl::contractor::Evaluation< Polynomial > , carl::VarSolutionFormula< Polynomial >
• mDependees : carl::contractor::Evaluation< Polynomial >
• mDer : carl::TarskiQueryManager< Number >
• mDerivatives : carl::Contraction< Operator, Polynomial >
• mDivisor : carl::DivisionLookupResult< Polynomial >
• mDivisorLookup : carl::Ideal< Polynomial, Datastructure, CacheSize >
• mDivList : carl::IdealDatastructureVector< Polynomial >
• mDomain : carl::UFContent , carl::UVariable
• mEliminated : carl::Ideal< Polynomial, Datastructure, CacheSize > , carl::IdealDatastructureVector< Polynomial >
• mErrorString : carl::io::InvalidInputStringException
• mEvaluation : carl::contractor::Contractor< Origin, Polynomial, Number >
• mExponent : carl::MultivariateHorner< PolynomialType, strategy >
• mExponents : carl::Monomial
• mFactor : carl::DivisionLookupResult< Polynomial >
• mFactorization : carl::PolynomialFactorizationPair< P >
• mFieldExtensions : carl::ran::interval::LazardEvaluation< Rational, Poly >
• mFilter : carl::carlVariables
• mFinalizer : carl::settings::SettingsParser
• mFirst : carl::BVBinaryContent
• mFormula : carl::AuxQuantifierContent< Pol > , carl::ModelFormulaSubstitution< Rational, Poly > , carl::QuantifierContent< Pol >
• mFormulas : carl::io::detail::SMTLIBScriptContainer< Pol >
• mFreeIDs : carl::IDPool
• mFT : carl::formula::symmetry::ColorGenerator< Number >
• mFunction : carl::UFModel
• mGaloisFields : carl::GaloisFieldManager< IntegerType >
• mGb : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy > , carl::MultiplicationTable< Number >
• mGbElementsIndices : carl::Buchberger< Polynomial, AddingPolicy >
• mGenerators : carl::Ideal< Polynomial, Datastructure, CacheSize > , carl::IdealDatastructureVector< Polynomial > , sortByLeadingTerm< Polynomial > , sortByPolSize< Polynomial >
• mGetModel : carl::io::detail::SMTLIBScriptContainer< Pol >
• mGf : carl::GFNumber< IntegerType >
• mGf_p : carl::DiophantineEquations< Integer >
• mGf_pk : carl::DiophantineEquations< Integer >
• mGraph : carl::formula::symmetry::GraphBuilder< Poly >
• mGrowthFactor : carl::pool::RehashPolicy
• mH_dependent : carl::MultivariateHorner< PolynomialType, strategy >
• mH_independent : carl::MultivariateHorner< PolynomialType, strategy >
• mHash : carl::BVConstraint , carl::BVTermContent , carl::FormulaContent< Pol > , carl::Monomial , carl::PolynomialFactorizationPair< P >
• mHighest : carl::BVExtractContent
• mHornerSchemes : carl::Contraction< Operator, Polynomial >
• mId : carl::BVConstraint , carl::BVTermContent , carl::FormulaContent< Pol > , carl::Monomial , carl::Sort , carl::SortValue , carl::UFInstance , carl::UninterpretedFunction
• mIdAllocator : carl::FormulaPool< Pol > , carl::Pool< Element >
• mIdeal : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• mIDs : carl::MonomialPool
• mImplicitMultiplicationMode : carl::io::StringParser
• mIn : carl::io::OPBImporter< Pol >
• min_exponent : std::numeric_limits< carl::FLOAT_T< Number > >
• min_exponent10 : std::numeric_limits< carl::FLOAT_T< Number > >
• mIndex : carl::BVUnaryContent
• mIndexable : carl::SortManager
• mIndexes : carl::formula::symmetry::ColorGenerator< Number >
• mInfo : carl::tuple_convert< Converter, Information, FOut, TOut > , carl::tuple_convert< Converter, Information, Out >
• mInputScheduled : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• mInterpreted : carl::SortManager
• mInterval : carl::ran::interval::RealRootIsolation< Number >
• mIrreducible : carl::PolynomialFactorizationPair< P >
• mIsSimplified : carl::RationalFunction< Pol, AutoSimplify >
• mK : carl::GaloisField< IntegerType >
• mLargestID : carl::IDPool
• mLcm : carl::SPolPair
• mLead : carl::ReductorEntry< Polynomial >
• mLhs : carl::BVConstraint , carl::UEquality
• mLiftingPoly : carl::ran::interval::LazardEvaluation< Rational, Poly >
• mLogic : carl::io::detail::SMTLIBScriptContainer< Pol >
• mLowerBoundType : carl::Interval< Number >
• mLowest : carl::BVExtractContent
• mMain : carl::io::OPBParser
• mMainVar : carl::ThomEncoding< Number > , carl::UnivariatePolynomial< Coefficient >
• mMatrix : carl::SignDetermination< Number >
• mMaxActivity : carl::Cache< T >
• mMaxCacheSize : carl::Cache< T >
• mMaxLoadFactor : carl::pool::RehashPolicy
• mMaxValue : carl::GaloisField< IntegerType >
• mModel : carl::ran::interval::FieldExtensions< Rational, Poly >
• mModulus : carl::GaloisField< IntegerType >
• mMonomial : carl::Term< Coefficient >
• mMultiple : carl::ReductorEntry< Polynomial >
• mMutex : carl::Cache< T > , carl::logging::Logger , carl::MonomialPool , carl::PolynomialFactorizationPair< P > , carl::TermAdditionManager< Polynomial, Ordering >
• mMutexPool : carl::Pool< Element >
• mN : carl::GFNumber< IntegerType > , carl::settings::binary_quantity , carl::settings::metric_quantity
• mName : carl::statistics::Statistics , carl::UFContent
• mNeedsUpdate : carl::SignDetermination< Number >
• mNegated : carl::UEquality
• mNegation : carl::FormulaContent< Pol >
• mNewVarWrapper : carl::io::OPBParser
• mNext : carl::PrimeFactory< T >
• mNextId : carl::TermAdditionManager< Polynomial, Ordering >
• mNextIDs : carl::VariablePool
• mNextResize : carl::pool::RehashPolicy
• mNrOfNonZeroReductions : carl::BuchbergerStats
• mNrOfReducibleIdentities : carl::BuchbergerStats
• mNrOfReductions : carl::BuchbergerStats
• mNrOfSingleTermSFP : carl::BuchbergerStats
• mNrOfTSQWithConstant : carl::BuchbergerStats
• mNrOfTSQWithoutConstant : carl::BuchbergerStats
• mNumberQuotient : carl::RationalFunction< Pol, AutoSimplify >
• mNumerator : carl::contractor::Evaluation< Polynomial > , carl::VarSolutionFormula< Polynomial >
• mNumOfUnusedEntries : carl::Cache< T >
• mObjective : carl::io::detail::SMTLIBScriptContainer< Pol > , carl::io::OPBParser
• monomial : carl::io::parser::ExpressionParser< Pol > , carl::io::parser::PolynomialParser< Pol >
• mOperand : carl::BVExtractContent , carl::BVUnaryContent
• mOptions : carl::settings::SettingsParser
• mOrder : carl::IdealDatastructureVector< Polynomial >
• mOrdered : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• mOrigGenerators : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• mOrigGeneratorsIndices : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• mOrigin : carl::contractor::Contractor< Origin, Polynomial, Number >
• mP : carl::GaloisField< IntegerType > , carl::SignDetermination< Number > , carl::ThomEncoding< Number >
• mp1 : carl::EZGCD< Coeff, Ordering, Policies >
• mP1 : carl::SPolPair
• mp2 : carl::EZGCD< Coeff, Ordering, Policies >
• mP2 : carl::SPolPair
• mPairs : carl::CriticalPairsEntry< Compare >
• mpCache : carl::FactorizedPolynomial< P >
• mpContent : carl::BVTerm , carl::Formula< Pol >
• mPersistentVariables : carl::VariablePool
• mpFalse : carl::FormulaPool< Pol >
• mpInvalid : carl::BVTermPool
• mPK : carl::GaloisField< IntegerType >
• mPoint : carl::ThomEncoding< Number >
• mPoly : carl::ModelPolynomialSubstitution< Rational, Poly >
• mPolynomial : carl::io::OPBParser , carl::ran::interval::RealRootIsolation< Number >
• mPolynomialQuotient : carl::RationalFunction< Pol, AutoSimplify >
• mPool : carl::FormulaPool< Pol > , carl::MonomialPool , carl::Pool< Element >
• mPoolBuckets : carl::FormulaPool< Pol > , carl::MonomialPool
• mpOriginal : carl::Contraction< Operator, Polynomial >
• mPositional : carl::settings::SettingsParser
• mpPolynomial : carl::PolynomialFactorizationPair< P >
• mPrimeFactory : carl::EZGCD< Coeff, Ordering, Policies >
• mPrimes : carl::FactorizationFactory< uint > , carl::PrimeFactory< T >
• mProducts : carl::SignDetermination< Number >
• mProperties : carl::FormulaContent< Pol >
• mpTrue : carl::FormulaPool< Pol >
• mpVariables : carl::FormulaContent< Pol >
• mReasons : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• mReasonset : carl::BVReasons
• mReductionOccured : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• mRehashPolicy : carl::FormulaPool< Pol > , carl::MonomialPool
• mRel : carl::formula::symmetry::ColorGenerator< Number >
• mRelation : carl::BVConstraint , carl::contractor::Contractor< Origin, Polynomial, Number > , carl::io::OPBParser
• mRelevant : carl::ThomEncoding< Number >
• mRemainder : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• mRhs : carl::BVConstraint , carl::UEquality
• mRoot : carl::contractor::Evaluation< Polynomial > , carl::ModelMVRootSubstitution< Rational, Poly > , carl::VarSolutionFormula< Polynomial >
• mRoots : carl::ran::interval::RealRootIsolation< Number >
• mSc : carl::ThomEncoding< Number >
• mSd : carl::ThomEncoding< Number >
• mSecond : carl::BVBinaryContent
• mSetCover : carl::covering::TypedSetCover< Set >
• mSetMap : carl::covering::TypedSetCover< Set >
• mSets : carl::covering::SetCover , carl::covering::TypedSetCover< Set >
• mSettings : carl::settings::Settings
• mSigns : carl::SignDetermination< Number >
• mSingleSymbVariables : carl::io::StringParser
• mSort : carl::BVVariable , carl::SortValue
• mSortMap : carl::SortManager
• mSorts : carl::SortManager
• mSortTypes : carl::SortManager
• mSortValueIDMap : carl::SortValueManager
• mSpecial : carl::formula::symmetry::ColorGenerator< Number >
• mStart : carl::Timer
• mStatistics : carl::statistics::StatisticsCollector
• mStream : carl::io::MapleStream , carl::io::QEPCADStream , carl::io::SMTLIBStream
• mSubstring : carl::io::InvalidInputStringException
• mSumOfTermsForm : carl::io::StringParser
• mTab : carl::TarskiQueryManager< Number >
• mTable : carl::MultiplicationTable< Number >
• mTail : carl::ReductorEntry< Polynomial >
• mTaQ : carl::SignDetermination< Number >
• mTerm : carl::io::OPBParser , carl::UTerm
• mTermAdditionManager : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• mTermOrder : carl::Ideal< Polynomial, Datastructure, CacheSize >
• mTerms : carl::MultivariatePolynomial< Coeff, Ordering, Policies >
• mTotalDegree : carl::Monomial
• mTree : carl::Heap< C >::c_iterator , carl::tree_detail::BaseIterator< T, Iterator, reverse >
• mTrivialGb : carl::TarskiQueryManager< Number >
• mTseitinVars : carl::FormulaPool< Pol >
• mTseitinVarToFormula : carl::FormulaPool< Pol >
• mType : carl::BVTermContent , carl::FormulaContent< Pol >
• mUFIdMap : carl::UFManager
• mUFInstanceIdMap : carl::UFInstanceManager
• mUFInstances : carl::UFInstanceManager
• mUFs : carl::UFManager
• mUninterpretedFunction : carl::UFInstanceContent
• mUnusedPositionsInCacheRefs : carl::Cache< T >
• mUpdateCallBack : carl::Buchberger< Polynomial, AddingPolicy >
• mUpperBoundType : carl::Interval< Number >
• mUsages : carl::FormulaContent< Pol >
• mUsedInSubstitution : carl::Model< Rational, Poly >
• mValue : carl::BVValue , carl::FLOAT_T< FloatType >
• mValues : carl::ModelConditionalSubstitution< Rational, Poly > , carl::settings::SettingsParser , carl::UFModel
• mVar : carl::BVVariable , carl::Chebyshev< Number > , carl::contractor::Evaluation< Polynomial > , carl::UVariable , carl::VarSolutionFormula< Polynomial >
• mVariable : carl::MultivariateHorner< PolynomialType, strategy >
• mVariableIDs : carl::formula::symmetry::GraphBuilder< Poly >
• mVariableNames : carl::VariablePool
• mVariablePrefix : carl::VariablePool
• mVariables : carl::AuxQuantifierContent< Pol > , carl::carlVariables , carl::formula::symmetry::GraphBuilder< Poly > , carl::io::DIMACSExporter< Pol > , carl::io::OPBParser , carl::QuantifierContent< Pol >
• mVarname : carl::io::OPBParser
• mVars : carl::io::StringParser
• mVarSolutionFormulas : carl::Contraction< Operator, Polynomial >
• mVT : carl::formula::symmetry::ColorGenerator< Number >
• mWeakPtr : carl::Monomial
• mWidth : carl::BVTermContent , carl::BVVariable
• mZ : carl::TarskiQueryManager< Number >