carl  24.04
Computer ARithmetic Library
evaluation.h File Reference
Include dependency graph for evaluation.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 carl
 carl is the main namespace for the library.
 

Functions

template<typename Coeff , typename Subst >
Subst carl::evaluate (const FactorizedPolynomial< Coeff > &p, const std::map< Variable, Subst > &substitutions)
 Like substitute, but expects substitutions for all variables. More...
 
template<typename P , typename Numeric >
Interval< Numeric > carl::evaluate (const FactorizedPolynomial< P > &p, const std::map< Variable, Interval< Numeric >> &map)