#include "../Model.h"
#include <carl-formula/arithmetic/Constraint.h>
#include <carl-formula/formula/Formula.h>
#include "ModelEvaluation_Polynomial.h"

Include dependency graph for ModelEvaluation_Constraint.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::substitute_inplace (Constraint< Poly > &c, const Model< Rational, Poly > &m)
	Substitutes all variables from a model within a constraint. More...

template<typename Rational , typename Poly >
void	carl::evaluate_inplace (ModelValue< Rational, Poly > &res, Constraint< Poly > &c, const Model< Rational, Poly > &m)
	Evaluates a constraint to a ModelValue over a Model. More...

Namespaces

Functions