![]() |
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
Exception used by the application in main(...). More...
#include <Exceptions.hpp>
Public Member Functions | |
file_parse_exception (const std::string &) | |
virtual const char * | what () const noexcept |
Private Attributes | |
std::string | message |
Exception used by the application in main(...).
Definition at line 58 of file Exceptions.hpp.
file_parse_exception::file_parse_exception | ( | const std::string & | s | ) |
Definition at line 48 of file Exceptions.cpp.
|
virtualnoexcept |
Definition at line 54 of file Exceptions.cpp.
|
private |
Definition at line 60 of file Exceptions.hpp.