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

#include <Substitution.h>

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

Public Member Functions

 BitvectorSubstitutor (const std::map< BVVariable, BVTerm > &repl)
 
Formula< Pol > operator() (const Formula< Pol > &formula)
 

Data Fields

const std::map< BVVariable, BVTerm > & replacements
 

Detailed Description

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

Definition at line 31 of file Substitution.h.

Constructor & Destructor Documentation

◆ BitvectorSubstitutor()

template<typename Pol >
carl::helper::BitvectorSubstitutor< Pol >::BitvectorSubstitutor ( const std::map< BVVariable, BVTerm > &  repl)
inlineexplicit

Definition at line 33 of file Substitution.h.

Member Function Documentation

◆ operator()()

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

Definition at line 34 of file Substitution.h.

Here is the call graph for this function:

Field Documentation

◆ replacements

template<typename Pol >
const std::map<BVVariable,BVTerm>& carl::helper::BitvectorSubstitutor< Pol >::replacements

Definition at line 32 of file Substitution.h.

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