Exception indicating problems with LTL.
More...
Inherits exception, and exception.
Exception indicating problems with LTL.
◆ LTLException() [1/4]
ltl::ltl::LTLException::LTLException |
( |
const string & |
what | ) |
|
|
inline |
◆ LTLException() [2/4]
ltl::ltl::LTLException::LTLException |
( |
const char * |
what | ) |
|
|
inline |
◆ ~LTLException() [1/2]
virtual ltl::ltl::LTLException::~LTLException |
( |
| ) |
|
throw | ( | |
| ) | | |
|
inlinevirtual |
◆ LTLException() [3/4]
ltl::ltl::LTLException::LTLException |
( |
const string & |
what | ) |
|
|
inline |
◆ LTLException() [4/4]
ltl::ltl::LTLException::LTLException |
( |
const char * |
what | ) |
|
|
inline |
◆ ~LTLException() [2/2]
virtual ltl::ltl::LTLException::~LTLException |
( |
| ) |
|
throw | ( | |
| ) | | |
|
inlinevirtual |
◆ what() [1/2]
virtual const char* ltl::ltl::LTLException::what |
( |
| ) |
const |
throw | ( | |
| ) | | |
|
inlinevirtual |
◆ what() [2/2]
virtual const char* ltl::ltl::LTLException::what |
( |
| ) |
const |
throw | ( | |
| ) | | |
|
inlinevirtual |
◆ whatStr_
string ltl::ltl::LTLException::whatStr_ |
|
protected |