#include "../Model.h"
#include <carl-arith/poly/umvpoly/functions/to_univariate_polynomial.h>
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-arith/poly/umvpoly/UnivariatePolynomial.h>

Include dependency graph for ModelEvaluation_Polynomial.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 , typename ModelPoly >
void	carl::substitute_inplace (Poly &p, const Model< Rational, ModelPoly > &m)
	Substitutes all variables from a model within a polynomial. More...

template<typename Rational , typename Poly >
void	carl::evaluate_inplace (ModelValue< Rational, Poly > &res, Poly &p, const Model< Rational, Poly > &m)
	Evaluates a polynomial to a ModelValue over a Model. More...

Namespaces

Functions