![]() |
Connect++ 0.4.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_read_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 47 of file Exceptions.hpp.
file_read_exception::file_read_exception | ( | const std::string & | s | ) |
Definition at line 38 of file Exceptions.cpp.
|
virtualnoexcept |
Definition at line 44 of file Exceptions.cpp.
|
private |
Definition at line 49 of file Exceptions.hpp.