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

#include <Conversions.h>

Public Member Functions

template<typename From >
bool operator() (const From &, Poly &) const
 
bool operator() (const Poly &from, Poly &to) const
 
bool operator() (const carl::Variable &from, Poly &to) const
 
bool operator() (const Rational &from, Poly &to) const
 

Detailed Description

Definition at line 59 of file Conversions.h.

Member Function Documentation

◆ operator()() [1/4]

bool smtrat::parser::conversion::Converter< Poly >::operator() ( const carl::Variable &  from,
Poly &  to 
) const
inline

Definition at line 68 of file Conversions.h.

◆ operator()() [2/4]

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

Definition at line 61 of file Conversions.h.

◆ operator()() [3/4]

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

Definition at line 64 of file Conversions.h.

◆ operator()() [4/4]

bool smtrat::parser::conversion::Converter< Poly >::operator() ( const Rational &  from,
Poly &  to 
) const
inline

Definition at line 72 of file Conversions.h.

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