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

#include <Substitution.h>

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

Public Member Functions

 Substitutor (const std::map< Formula< Pol >, Formula< Pol >> &repl)
 
Formula< Pol > operator() (const Formula< Pol > &formula)
 

Data Fields

const std::map< Formula< Pol >, Formula< Pol > > & replacements
 

Detailed Description

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

Definition at line 10 of file Substitution.h.

Constructor & Destructor Documentation

◆ Substitutor()

template<typename Pol >
carl::helper::Substitutor< Pol >::Substitutor ( const std::map< Formula< Pol >, Formula< Pol >> &  repl)
inlineexplicit

Definition at line 12 of file Substitution.h.

Member Function Documentation

◆ operator()()

template<typename Pol >
Formula<Pol> carl::helper::Substitutor< Pol >::operator() ( const Formula< Pol > &  formula)
inline

Definition at line 13 of file Substitution.h.

Field Documentation

◆ replacements

template<typename Pol >
const std::map<Formula<Pol>,Formula<Pol> >& carl::helper::Substitutor< Pol >::replacements

Definition at line 11 of file Substitution.h.

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