carl  24.04
Computer ARithmetic Library
MultivariateHorner.h File Reference
#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"
Include dependency graph for MultivariateHorner.h:
This graph shows which files directly or indirectly include this file:

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

Detailed Description

Author
Lukas Netz

Definition in file MultivariateHorner.h.