smtrat::parser::ErrorHandler Struct Reference

#include <Script.h>

Data Structures
struct	result

Public Member Functions
template<typename T1 , typename T2 , typename T3 , typename T4 >
qi::error_handler_result	operator() (T1 b, T2 e, T3 where, T4 const &what) const

Detailed Description

Definition at line 30 of file Script.h.

Member Function Documentation

operator()()

template<typename T1 , typename T2 , typename T3 , typename T4 >

qi::error_handler_result smtrat::parser::ErrorHandler::operator() ( T1  b, T2  e, T3  where, T4 const &  what  ) const

inline

Definition at line 33 of file Script.h.

Here is the call graph for this function:

---

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

• cli/parser/Script.h