smtrat::parser::FunctionInstantiator Struct Reference

#include <FunctionInstantiator.h>

Inheritance diagram for smtrat::parser::FunctionInstantiator:

Public Member Functions
virtual	~FunctionInstantiator ()
template<typename T >
bool	convert (const std::vector< types::TermType > &from, std::vector< T > &to) const
template<typename T >
bool	convert (const std::vector< types::TermType > &from, std::vector< T > &to, TheoryError &errors) const
virtual bool	operator() (const std::vector< types::TermType > &, types::TermType &, TheoryError &errors) const

Detailed Description

Definition at line 11 of file FunctionInstantiator.h.

Constructor & Destructor Documentation

~FunctionInstantiator()

virtual smtrat::parser::FunctionInstantiator::~FunctionInstantiator ( )

inlinevirtual

Definition at line 12 of file FunctionInstantiator.h.

Member Function Documentation

convert() [1/2]

template<typename T >

bool smtrat::parser::FunctionInstantiator::convert ( const std::vector< types::TermType > &  from, std::vector< T > &  to  ) const

inline

Definition at line 14 of file FunctionInstantiator.h.

Here is the caller graph for this function:

convert() [2/2]

template<typename T >

bool smtrat::parser::FunctionInstantiator::convert ( const std::vector< types::TermType > &  from, std::vector< T > &  to, TheoryError &  errors  ) const

inline

Definition at line 19 of file FunctionInstantiator.h.

operator()()

virtual bool smtrat::parser::FunctionInstantiator::operator() ( const std::vector< types::TermType > &  , types::TermType &  , TheoryError &  errors  ) const

inlinevirtual

Reimplemented in smtrat::parser::CoreInstantiator, smtrat::parser::BitvectorInstantiator, and smtrat::parser::ToRealInstantiator.

Definition at line 23 of file FunctionInstantiator.h.

Here is the call graph for this function:

---

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

• cli/parser/theories/FunctionInstantiator.h