CVC3
|
#include <arith_exception.h>
Inherits CVC3::Exception.
Public Member Functions | |
ArithException () | |
ArithException (const std::string &msg) | |
ArithException (const char *msg) | |
virtual | ~ArithException () |
virtual std::string | toString () const |
![]() | |
Exception () | |
Exception (const std::string &msg) | |
Exception (const char *msg) | |
virtual | ~Exception () |
void | setMessage (const std::string &msg) |
Additional Inherited Members | |
![]() | |
std::string | d_msg |
Definition at line 31 of file arith_exception.h.
|
inline |
Definition at line 36 of file arith_exception.h.
|
inline |
Definition at line 37 of file arith_exception.h.
|
inline |
Definition at line 38 of file arith_exception.h.
|
inlinevirtual |
Definition at line 40 of file arith_exception.h.
|
inlinevirtual |
Reimplemented from CVC3::Exception.
Definition at line 41 of file arith_exception.h.
References CVC3::Exception::d_msg.
Referenced by CVC3::TheoryArithOld::doSolve().