ModelEvaluation_Formula.h File Reference

#include <carl-formula/formula/Formula.h>
#include "../Model.h"
#include "ModelEvaluation_Constraint.h"
#include <carl-logging/carl-logging.h>

Include dependency graph for ModelEvaluation_Formula.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.
	carl::model

Functions
template<typename Rational , typename Poly >
void	carl::model::substituteSubformulas (Formula< Poly > &f, const Model< Rational, Poly > &m)
template<typename Rational , typename Poly >
void	carl::model::evaluateVarCompare (Formula< Poly > &f, const Model< Rational, Poly > &m)
template<typename Rational , typename Poly >
void	carl::model::evaluateVarAssign (Formula< Poly > &f, const Model< Rational, Poly > &m)
template<typename Rational , typename Poly >
void	carl::substitute_inplace (Formula< Poly > &f, const Model< Rational, Poly > &m)
	Substitutes all variables from a model within a formula. More...
template<typename Rational , typename Poly >
void	carl::evaluate_inplace (ModelValue< Rational, Poly > &res, Formula< Poly > &f, const Model< Rational, Poly > &m)
	Evaluates a formula to a ModelValue over a Model. More...