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