smtrat::parser::TheoryError Struct Reference

#include <Common.h>

Collaboration diagram for smtrat::parser::TheoryError:

Public Member Functions
TheoryError &	operator() (const std::string &theory)
TheoryError &	next ()
template<typename T >
TheoryError &	operator<< (const T &t)

Private Attributes
std::stringstream	ss
std::string	currentTheory

Friends
std::ostream &	operator<< (std::ostream &os, const TheoryError &te)

Detailed Description

Definition at line 13 of file Common.h.

Member Function Documentation

next()

TheoryError& smtrat::parser::TheoryError::next ( )

inline

Definition at line 25 of file Common.h.

Here is the caller graph for this function:

operator()()

TheoryError& smtrat::parser::TheoryError::operator() ( const std::string &  theory )

inline

Definition at line 18 of file Common.h.

operator<<()

template<typename T >

TheoryError& smtrat::parser::TheoryError::operator<< ( const T &  t )

inline

Definition at line 30 of file Common.h.

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  os, const TheoryError &  te  )

friend

Definition at line 22 of file Common.h.

Field Documentation

currentTheory

std::string smtrat::parser::TheoryError::currentTheory

private

Definition at line 16 of file Common.h.

ss

std::stringstream smtrat::parser::TheoryError::ss

private

Definition at line 15 of file Common.h.

---

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

• cli/parser/theories/Common.h