ModelEvaluation_MVRoot.h File Reference
Include dependency graph for ModelEvaluation_MVRoot.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 Rational , typename Poly > | |
| void | carl::substitute_inplace (MultivariateRoot< Poly > &mvr, const Model< Rational, Poly > &m) |
| Substitutes all variables from a model within a MultivariateRoot. More... | |
| template<typename Rational , typename Poly > | |
| void | carl::evaluate_inplace (ModelValue< Rational, Poly > &res, MultivariateRoot< Poly > &mvr, const Model< Rational, Poly > &m) |
| Evaluates a MultivariateRoot to a ModelValue over a Model. More... | |
