Substitution.h File Reference

#include "../Formula.h"
#include "Visit.h"

Include dependency graph for Substitution.h:

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

Go to the source code of this file.

Data Structures
struct	carl::helper::Substitutor< Pol >
struct	carl::helper::PolynomialSubstitutor< Pol >
struct	carl::helper::BitvectorSubstitutor< Pol >
struct	carl::helper::UninterpretedSubstitutor< Pol >

Namespaces
	carl
	carl is the main namespace for the library.
	carl::helper

Functions
template<typename Pol , typename Source , typename Target >
Formula< Pol >	carl::substitute (const Formula< Pol > &formula, const Source &source, const Target &target)
template<typename Pol >
Formula< Pol >	carl::substitute (const Formula< Pol > &formula, const std::map< Formula< Pol >, Formula< Pol >> &replacements)
template<typename Pol >
Formula< Pol >	carl::substitute (const Formula< Pol > &formula, const std::map< Variable, typename Formula< Pol >::PolynomialType > &replacements)
template<typename Pol >
Formula< Pol >	carl::substitute (const Formula< Pol > &formula, const std::map< BVVariable, BVTerm > &replacements)
template<typename Pol >
Formula< Pol >	carl::substitute (const Formula< Pol > &formula, const std::map< UVariable, UFInstance > &replacements)