|
carl
25.04
Computer ARithmetic Library
|
#include <vector>#include <carl-arith/core/Variable.h>#include <set>#include "../../MultivariatePolynomial.h"#include <carl-arith/interval/Interval.h>#include "IntervalEvaluation.h"#include "MultivariateHornerSettings.h"#include "../../Term.h"#include "MultivariateHorner.tpp"

Go to the source code of this file.
Data Structures | |
| class | carl::MultivariateHorner< PolynomialType, strategy > |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Variables | |
| static std::map< Variable, Interval< double > > | carl::mMap = {{ Variable::NO_VARIABLE , Interval<double>(0)}} |
Definition in file MultivariateHorner.h.