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

#include <Conversions.h>

Inheritance diagram for smtrat::parser::conversion::Converter< To >:
Inheritance graph
[legend]

Public Member Functions

template<typename From >
bool operator() (const From &, To &) const
 
bool operator() (const To &from, To &to) const
 

Detailed Description

template<typename To>
struct smtrat::parser::conversion::Converter< To >

Definition at line 15 of file Conversions.h.

Member Function Documentation

◆ operator()() [1/2]

template<typename To >
template<typename From >
bool smtrat::parser::conversion::Converter< To >::operator() ( const From &  ,
To &   
) const
inline

Definition at line 17 of file Conversions.h.

◆ operator()() [2/2]

template<typename To >
bool smtrat::parser::conversion::Converter< To >::operator() ( const To &  from,
To &  to 
) const
inline

Definition at line 20 of file Conversions.h.

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