- u -

• u_equality() : carl::Formula< Pol >
• UEquality() : carl::UEquality
• UFContent() : carl::UFContent
• ufContents() : carl::UFManager
• ufIDMap() : carl::UFManager
• UFInstance() : carl::UFInstance
• UFInstanceContent() : carl::UFInstanceContent
• UFInstanceManager() : carl::UFInstanceManager
• UFManager() : carl::UFManager
• UFModel() : carl::UFModel
• unbounded_interval() : carl::Interval< Number >
• uninterpreted() : carl::carlVariables , carl::variable_type_filter
• uninterpretedFunction() : carl::UFInstance , carl::UFInstanceContent
• UninterpretedFunction() : carl::UninterpretedFunction
• UninterpretedSubstitutor() : carl::helper::UninterpretedSubstitutor< Pol >
• unit_part() : carl::UnivariatePolynomial< Coefficient >
• univariateDiophantine() : carl::DiophantineEquations< Integer >
• UnivariatePolynomial() : carl::UnivariatePolynomial< Coefficient >
• update() : carl::Buchberger< Polynomial, AddingPolicy > , carl::CriticalPairsEntry< Compare > , carl::Model< Rational, Poly > , carl::SignDetermination< Number >
• update_coeff() : carl::VarInfo< CoeffType >
• update_root_bounds() : carl::ran::interval::RealRootIsolation< Number >
• updateDatastruct() : carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
• UpdateFnct() : carl::UpdateFnct< BuchbergerProc >
• upper() : carl::Interval< Number >
• upper_bound() : carl::Interval< Number >
• upper_bound_type() : carl::Interval< Number >
• UTerm() : carl::UTerm
• UVariable() : carl::UVariable