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

Converts a vector of variants to a vector of some type using the Converter class. More...

#include <Conversions.h>

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

Public Types

typedef Res result_type
 

Public Member Functions

template<BOOST_VARIANT_ENUM_PARAMS(typename T) >
bool operator() (const std::vector< boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)>> &v, std::vector< Res > &result) const
 
template<BOOST_VARIANT_ENUM_PARAMS(typename T) >
bool operator() (const std::vector< boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)>> &v, std::vector< Res > &result, TheoryError &errors) const
 

Detailed Description

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

Converts a vector of variants to a vector of some type using the Converter class.

Definition at line 150 of file Conversions.h.

Member Typedef Documentation

◆ result_type

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

Definition at line 151 of file Conversions.h.

Member Function Documentation

◆ operator()() [1/2]

template<typename Res >
template<BOOST_VARIANT_ENUM_PARAMS(typename T) >
bool smtrat::parser::conversion::VectorVariantConverter< Res >::operator() ( const std::vector< boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)>> &  v,
std::vector< Res > &  result 
) const
inline

Definition at line 153 of file Conversions.h.

◆ operator()() [2/2]

template<typename Res >
template<BOOST_VARIANT_ENUM_PARAMS(typename T) >
bool smtrat::parser::conversion::VectorVariantConverter< Res >::operator() ( const std::vector< boost::variant< BOOST_VARIANT_ENUM_PARAMS(T)>> &  v,
std::vector< Res > &  result,
TheoryError &  errors 
) const
inline

Definition at line 163 of file Conversions.h.

Here is the call graph for this function:
The documentation for this struct was generated from the following file: