- g -

• GaloisField() : carl::GaloisField< IntegerType >
• gatherBVVariables() : carl::BVConstraint , carl::BVTerm , carl::BVTermContent
• gatherUFs() : carl::UEquality , carl::UFInstance , carl::UTerm
• gatherUVariables() : carl::UEquality
• gatherVariables() : carl::BVConstraint , carl::FactorizedPolynomial< P > , carl::formula::symmetry::GraphBuilder< Poly > , carl::GroebnerBase< Number > , carl::Ideal< Polynomial, Datastructure, CacheSize > , carl::PolynomialFactorizationPair< P > , carl::RationalFunction< Pol, AutoSimplify > , carl::UEquality , carl::UFInstance , carl::UTerm
• GbBenchmark() : GbBenchmark< C, O, P >
• GBProcedure() : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• get() : carl::BaseRepresentation< Number > , carl::BitVector::forward_iterator , carl::Cache< T > , carl::constant_one< T > , carl::constant_zero< T > , carl::GroebnerBase< Number > , carl::Heap< C >::c_iterator , carl::IDPool , carl::settings::Settings , carl::statistics::StatisticsCollector , carl::UFModel
• get_cover() : carl::covering::TypedSetCover< Set >
• get_fresh_persistent_variable() : carl::VariablePool
• get_fresh_variable() : carl::VariablePool
• get_name() : carl::Heap< C > , carl::SortManager , carl::UFManager , carl::VariablePool
• get_number() : carl::ThomEncoding< Number >
• get_parent() : carl::tree< T >
• get_roots() : carl::ran::interval::RealRootIsolation< Number >
• get_set() : carl::covering::SetCover , carl::covering::TypedSetCover< Set >
• get_set_id() : carl::covering::TypedSetCover< Set >
• get_uncovered() : carl::covering::SetCover
• getArgs() : carl::UFInstanceManager
• getArity() : carl::SortManager
• getAssertions() : carl::io::SMTLIBStream
• getBase() : carl::MultiplicationTable< Number >
• getBaseFormula() : carl::FormulaPool< Pol >
• getBasisPolynomials() : carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• getBit() : carl::BitVector
• getCached() : carl::TarskiQueryManager< Number >
• getCodomain() : carl::UFManager
• getConfiguration() : carl::Heap< C >
• getContent() : carl::SortManager
• getCopy() : carl::CompactTree< Entry, FastIndex > , carl::Heap< C >
• getDepConstant() : carl::MultivariateHorner< PolynomialType, strategy >
• getDependent() : carl::MultivariateHorner< PolynomialType, strategy >
• getDivisor() : carl::Ideal< Polynomial, Datastructure, CacheSize > , carl::IdealDatastructureVector< Polynomial >
• getDomain() : carl::UFManager
• getEntry() : carl::MultiplicationTable< Number >
• getExponent() : carl::MultivariateHorner< PolynomialType, strategy >
• getFirst() : carl::CriticalPairsEntry< Compare >
• getFormula() : carl::ModelFormulaSubstitution< Rational, Poly >
• getGenerator() : carl::Ideal< Polynomial, Datastructure, CacheSize >
• getGenerators() : carl::Ideal< Polynomial, Datastructure, CacheSize >
• getId() : carl::TermAdditionManager< Polynomial, Ordering >
• getIdeal() : carl::AbstractGBProcedure< Polynomial > , carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
• getIndepConstant() : carl::MultivariateHorner< PolynomialType, strategy >
• getIndependent() : carl::MultivariateHorner< PolynomialType, strategy >
• getIndices() : carl::SortManager
• getInstance() : carl::BuchbergerStats , carl::Singleton< T >
• getInterpreted() : carl::SortManager
• getLead() : carl::ReductorEntry< Polynomial >
• getLiftingPoly() : carl::ran::interval::LazardEvaluation< Rational, Poly >
• getLiteral() : carl::io::DIMACSExporter< Pol >
• getMainVar() : carl::EZGCD< Coeff, Ordering, Policies >
• getMaxTerm() : carl::TermAdditionManager< Polynomial, Ordering >
• getMemoryUse() : carl::CompactTree< Entry, FastIndex > , carl::Heap< C >
• getModel() : carl::io::SMTLIBStream
• getModelValue() : carl::ModelSubstitution< Rational, Poly >
• getMultiple() : carl::ReductorEntry< Polynomial >
• getNode() : carl::Heap< C >::c_iterator
• getNormalIndex() : carl::CompactTree< Entry, FastIndex >::Node
• getNrReducibleIdentities() : carl::BuchbergerStats
• getNrTSQWithConstant() : carl::BuchbergerStats
• getNrTSQWithoutConstant() : carl::BuchbergerStats
• getOrderedIndices() : carl::Ideal< Polynomial, Datastructure, CacheSize >
• getPairsBegin() : carl::CriticalPairsEntry< Compare >
• getPairsEnd() : carl::CriticalPairsEntry< Compare >
• getParameters() : carl::SortManager
• getPoly() : carl::ModelPolynomialSubstitution< Rational, Poly >
• getPrime() : carl::EZGCD< Coeff, Ordering, Policies >
• getReasons() : carl::BVReasons , carl::NoReasons
• getSigns() : carl::SignDetermination< Number >
• getSignsAndAdd() : carl::SignDetermination< Number >
• getSignsAndAddAll() : carl::SignDetermination< Number >
• getSingleTermSFP() : carl::BuchbergerStats
• getSort() : carl::SortManager
• getSortedFirstLCM() : carl::CriticalPairsEntry< Compare >
• getTail() : carl::ReductorEntry< Polynomial >
• getTseitinVar() : carl::FormulaPool< Pol >
• getType() : carl::SortManager
• getUF() : carl::UFManager
• getUnindexed() : carl::SortContent
• getUninterpretedFunction() : carl::UFInstanceManager
• getVariable() : carl::MultivariateHorner< PolynomialType, strategy >
• gf() : carl::GFNumber< IntegerType >
• GFNumber() : carl::GFNumber< IntegerType >
• gibi() : carl::settings::binary_quantity
• giga() : carl::settings::metric_quantity
• GraphBuilder() : carl::formula::symmetry::GraphBuilder< Poly >
• GroebnerBase() : carl::GroebnerBase< Number >