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

#include <Substitution.h>

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

Public Member Functions

 UninterpretedSubstitutor (const std::map< UVariable, UFInstance > &repl)
 
Formula< Pol > operator() (const Formula< Pol > &formula)
 

Data Fields

const std::map< UVariable, UFInstance > & replacements
 

Detailed Description

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

Definition at line 54 of file Substitution.h.

Constructor & Destructor Documentation

◆ UninterpretedSubstitutor()

template<typename Pol >
carl::helper::UninterpretedSubstitutor< Pol >::UninterpretedSubstitutor ( const std::map< UVariable, UFInstance > &  repl)
inlineexplicit

Definition at line 56 of file Substitution.h.

Member Function Documentation

◆ operator()()

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

Definition at line 57 of file Substitution.h.

Here is the call graph for this function:

Field Documentation

◆ replacements

template<typename Pol >
const std::map<UVariable,UFInstance>& carl::helper::UninterpretedSubstitutor< Pol >::replacements

Definition at line 55 of file Substitution.h.

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