carl  24.04
Computer ARithmetic Library
IntervalEvaluation.h File Reference
Include dependency graph for IntervalEvaluation.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 carl
 carl is the main namespace for the library.
 

Functions

template<typename Numeric >
Interval< Numeric > carl::evaluate (const Monomial &m, const std::map< Variable, Interval< Numeric >> &map)
 
template<typename Coeff , typename Numeric , EnableIf< std::is_same< Numeric, Coeff >> = dummy>
Interval< Numeric > carl::evaluate (const Term< Coeff > &t, const std::map< Variable, Interval< Numeric >> &map)
 
template<typename Coeff , typename Policy , typename Ordering , typename Numeric >
Interval< Numeric > carl::evaluate (const MultivariatePolynomial< Coeff, Policy, Ordering > &p, const std::map< Variable, Interval< Numeric >> &map)
 
template<typename Numeric , typename Coeff , EnableIf< std::is_same< Numeric, Coeff >> = dummy>
Interval< Numeric > carl::evaluate (const UnivariatePolynomial< Coeff > &p, const std::map< Variable, Interval< Numeric >> &map)