ModelSubstitution.h File Reference

#include <iostream>
#include <map>
#include <memory>
#include <optional>
#include <carl-formula/formula/Formula.h>
#include <carl-arith/extended/MultivariateRoot.h>
#include "ModelValue.h"
#include "ModelVariable.h"
#include "substitutions/ModelFormulaSubstitution.h"
#include "substitutions/ModelMVRootSubstitution.h"
#include "substitutions/ModelPolynomialSubstitution.h"

Include dependency graph for ModelSubstitution.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	carl::ModelSubstitution< Rational, Poly >
	Represent a expression for a ModelValue with variables as placeholders, where the final expression's value depends on the bindings/values of these variables. More...

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Rational , typename Poly >
std::ostream &	carl::operator<< (std::ostream &os, const ModelSubstitution< Rational, Poly > &ms)
template<typename Rational , typename Poly >
std::ostream &	carl::operator<< (std::ostream &os, const ModelSubstitutionPtr< Rational, Poly > &ms)
template<typename Rational , typename Poly , typename Substitution , typename... Args>
ModelValue< Rational, Poly >	carl::createSubstitution (Args &&... args)
template<typename Rational , typename Poly , typename Substitution , typename... Args>
ModelSubstitutionPtr< Rational, Poly >	carl::createSubstitutionPtr (Args &&... args)
template<typename Rational , typename Poly >
ModelValue< Rational, Poly >	carl::createSubstitution (const MultivariateRoot< Poly > &mr)