Evaluation.h File Reference

#include "SqrtEx.h"

Include dependency graph for Evaluation.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Poly >
std::pair< typename SqrtEx< Poly >::Rational, bool >	carl::evaluate (const SqrtEx< Poly > &sqrt_ex, const std::map< Variable, typename SqrtEx< Poly >::Rational > &eval_map, int rounding)
	Evaluates the square root expression. More...