#include "../Model.h"
#include "ModelEvaluation_helper.h"
#include "ModelEvaluation_Bitvector.h"
#include "ModelEvaluation_Constraint.h"
#include "ModelEvaluation_Formula.h"
#include "ModelEvaluation_MVRoot.h"
#include "ModelEvaluation_Polynomial.h"
#include "ModelEvaluation_Uninterpreted.h"

Include dependency graph for ModelEvaluation.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 T , typename Rational , typename Poly >
T	carl::substitute (const T &t, const Model< Rational, Poly > &m)
	Substitutes a model into an expression t. More...

template<typename T , typename Rational , typename Poly >
ModelValue< Rational, Poly >	carl::evaluate (const T &t, const Model< Rational, Poly > &m)
	Evaluates a given expression t over a model. More...

template<typename T , typename Rational , typename Poly >
unsigned	carl::satisfied_by (const T &t, const Model< Rational, Poly > &m)

Namespaces

Functions