ModelEvaluation_Uninterpreted.h File Reference

#include "../Model.h"
#include <carl-formula/uninterpreted/UEquality.h>
#include <carl-formula/uninterpreted/UFInstance.h>
#include <carl-formula/uninterpreted/SortValue.h>

Include dependency graph for ModelEvaluation_Uninterpreted.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::evaluate_inplace (ModelValue< Rational, Poly > &res, const UVariable &uv, const Model< Rational, Poly > &m)
	Evaluates a uninterpreted variable to a ModelValue over a Model. More...
template<typename Rational , typename Poly >
void	carl::evaluate_inplace (ModelValue< Rational, Poly > &res, const UFInstance &ufi, const Model< Rational, Poly > &m)
	Evaluates a uninterpreted function instance to a ModelValue over a Model. More...
template<typename Rational , typename Poly >
void	carl::evaluate_inplace (ModelValue< Rational, Poly > &res, const UEquality &ue, const Model< Rational, Poly > &m)
	Evaluates a uninterpreted variable to a ModelValue over a Model. More...