ltl::LTLException Class Reference

Exception indicating problems with LTL. More...

Inherits std::exception.

List of all members.

Public Member Functions

• LTLException (const string &what)
• LTLException (const char *what)
• virtual ~LTLException () throw ()
• virtual const char * what () const throw ()

Protected Attributes

• string whatStr_

---

Detailed Description

Exception indicating problems with LTL.

---

Constructor & Destructor Documentation

ltl::LTLException::LTLException

(

const string &

what

)

[inline]

ltl::LTLException::LTLException

(

const char *

what

)

[inline]

virtual ltl::LTLException::~LTLException

(

)

throw () [inline, virtual]

---

Member Function Documentation

virtual const char* ltl::LTLException::what

(

)

const throw () [inline, virtual]

References whatStr_.

---

Member Data Documentation

string ltl::LTLException::whatStr_ [protected]

Referenced by what().