ltl::LTLException Class Reference

Exception indicating problems with LTL. More...

Inherits exception.

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 ( )

inlinevirtual

Member Function Documentation

virtual const char* ltl::LTLException::what ( ) const throw ( )

inlinevirtual

References whatStr_.

Member Data Documentation

string ltl::LTLException::whatStr_

protected

Referenced by what().