SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Public Member Functions
smtrat::parser::conversion::VariantVariantConverter< Res > Struct Template Reference

Converts variants to another variant type not using the Converter class. More...

#include <Conversions.h>

Inheritance diagram for smtrat::parser::conversion::VariantVariantConverter< Res >:
Inheritance graph
[legend]
Collaboration diagram for smtrat::parser::conversion::VariantVariantConverter< Res >:
Collaboration graph
[legend]

Public Types

typedef Res result_type
 

Public Member Functions

template<typename T >
Res operator() (const T &t)
 
template<typename Variant >
Res convert (const Variant &t)
 

Detailed Description

template<typename Res>
struct smtrat::parser::conversion::VariantVariantConverter< Res >

Converts variants to another variant type not using the Converter class.

Definition at line 133 of file Conversions.h.

Member Typedef Documentation

◆ result_type

template<typename Res >
typedef Res smtrat::parser::conversion::VariantVariantConverter< Res >::result_type

Definition at line 134 of file Conversions.h.

Member Function Documentation

◆ convert()

template<typename Res >
template<typename Variant >
Res smtrat::parser::conversion::VariantVariantConverter< Res >::convert ( const Variant &  t)
inline

Definition at line 140 of file Conversions.h.

◆ operator()()

template<typename Res >
template<typename T >
Res smtrat::parser::conversion::VariantVariantConverter< Res >::operator() ( const T &  t)
inline

Definition at line 136 of file Conversions.h.

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