smtrat::parser::conversion::VariantConverter< Res > Struct Template Reference

Converts variants to some type using the Converter class. More...

#include <Conversions.h>

Inheritance diagram for smtrat::parser::conversion::VariantConverter< Res >:

Collaboration diagram for smtrat::parser::conversion::VariantConverter< Res >:

Public Types
typedef bool	result_type

Public Member Functions
template<typename T >
bool	operator() (const T &t)
template<BOOST_VARIANT_ENUM_PARAMS(typename T) >
bool	operator() (const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)> &t)
template<BOOST_VARIANT_ENUM_PARAMS(typename T) >
bool	operator() (const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)> &t, Res &r)
template<typename T >
Res	convert (const T &t)

Data Fields
Res	result
Converter< Res >	converter

Detailed Description

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

Converts variants to some type using the Converter class.

Definition at line 99 of file Conversions.h.

Member Typedef Documentation

result_type

template<typename Res >

typedef bool smtrat::parser::conversion::VariantConverter< Res >::result_type

Definition at line 100 of file Conversions.h.

Member Function Documentation

convert()

template<typename Res >

template<typename T >

Res smtrat::parser::conversion::VariantConverter< Res >::convert ( const T &  t )

inline

Definition at line 120 of file Conversions.h.

operator()() [1/3]

template<typename Res >

template<BOOST_VARIANT_ENUM_PARAMS(typename T) >

bool smtrat::parser::conversion::VariantConverter< Res >::operator() ( const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)> &  t )

inline

Definition at line 108 of file Conversions.h.

operator()() [2/3]

template<typename Res >

template<BOOST_VARIANT_ENUM_PARAMS(typename T) >

bool smtrat::parser::conversion::VariantConverter< Res >::operator() ( const boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)> &  t, Res &  r  )

inline

Definition at line 112 of file Conversions.h.

operator()() [3/3]

template<typename Res >

template<typename T >

bool smtrat::parser::conversion::VariantConverter< Res >::operator() ( const T &  t )

inline

Definition at line 104 of file Conversions.h.

Field Documentation

converter

template<typename Res >

Converter<Res> smtrat::parser::conversion::VariantConverter< Res >::converter

Definition at line 102 of file Conversions.h.

result

template<typename Res >

Res smtrat::parser::conversion::VariantConverter< Res >::result

Definition at line 101 of file Conversions.h.

---

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

• cli/parser/theories/Conversions.h