Evaluation.h File Reference

#include <carl-arith/interval/Interval.h>
#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>
#include <carl-arith/interval/Evaluation.h>
#include <carl-arith/constraint/BasicConstraint.h>
#include <carl-arith/constraint/Simplification.h>
#include "Ran.h"
#include "helper/AlgebraicSubstitution.h"
#include <boost/logic/tribool_io.hpp>
#include <optional>
#include <carl-arith/poly/ctxpoly/ContextPolynomial.h>

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 Number >
std::optional< IntRepRealAlgebraicNumber< Number > >	carl::evaluate (MultivariatePolynomial< Number > p, const Assignment< IntRepRealAlgebraicNumber< Number >> &m, bool refine_model=true)
	Evaluate the given polynomial with the given values for the variables. More...
template<typename Number >
boost::tribool	carl::evaluate (const BasicConstraint< MultivariatePolynomial< Number >> &c, const Assignment< IntRepRealAlgebraicNumber< Number >> &m, bool refine_model=true, bool use_root_bounds=true)
template<typename Coeff , typename Ordering , typename Policies >
auto	carl::evaluate (const ContextPolynomial< Coeff, Ordering, Policies > &p, const Assignment< typename ContextPolynomial< Coeff, Ordering, Policies >::RootType > &a)
template<typename Coeff , typename Ordering , typename Policies >
auto	carl::evaluate (const BasicConstraint< ContextPolynomial< Coeff, Ordering, Policies >> &p, const Assignment< typename ContextPolynomial< Coeff, Ordering, Policies >::RootType > &a)