|
carl
25.02
Computer ARithmetic Library
|
#include <carl-arith/interval/Interval.h>#include <carl-arith/interval/Power.h>#include "../Monomial.h"#include "../Term.h"#include "../MultivariatePolynomial.h"

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) |