carl
24.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.