carl  25.04
Computer ARithmetic Library
Public Member Functions | Data Fields
carl::helper::PolynomialSubstitutor< Pol > Struct Template Reference

#include <Substitution.h>

Collaboration diagram for carl::helper::PolynomialSubstitutor< Pol >:
Collaboration graph
[legend]

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: