carl::helper::PolynomialSubstitutor< Pol > Struct Template Reference

#include <Substitution.h>

Collaboration diagram for carl::helper::PolynomialSubstitutor< Pol >:

Public Member Functions
	PolynomialSubstitutor (const std::map< Variable, typename Formula< Pol >::PolynomialType > &repl)
Formula< Pol >	operator() (const Formula< Pol > &formula)

Data Fields
const std::map< Variable, typename Formula< Pol >::PolynomialType > &	replacements

Detailed Description

template<typename Pol>
struct carl::helper::PolynomialSubstitutor< Pol >

Definition at line 21 of file Substitution.h.

Constructor & Destructor Documentation

PolynomialSubstitutor()

template<typename Pol >

carl::helper::PolynomialSubstitutor< Pol >::PolynomialSubstitutor ( const std::map< Variable, typename Formula< Pol >::PolynomialType > &  repl )

inlineexplicit

Definition at line 23 of file Substitution.h.

Member Function Documentation

operator()()

template<typename Pol >

Formula<Pol> carl::helper::PolynomialSubstitutor< Pol >::operator() ( const Formula< Pol > &  formula )

inline

Definition at line 24 of file Substitution.h.

Here is the call graph for this function:

Field Documentation

replacements

template<typename Pol >

const std::map<Variable,typename Formula<Pol>::PolynomialType>& carl::helper::PolynomialSubstitutor< Pol >::replacements

Definition at line 22 of file Substitution.h.

---

The documentation for this struct was generated from the following file:

• carl-formula/formula/functions/Substitution.h