All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
Public Member Functions | Friends
exception Class Reference

Exception used to sign API usage errors. More...

Public Member Functions

 exception (char const *msg)
char const * msg () const


std::ostream & operator<< (std::ostream &out, exception const &e)

Detailed Description

Exception used to sign API usage errors.

Definition at line 80 of file z3++.h.

Constructor & Destructor Documentation

exception ( char const *  msg)

Definition at line 83 of file z3++.h.

83 :m_msg(msg) {}
char const * msg() const
Definition: z3++.h:84

Member Function Documentation

char const* msg ( ) const

Definition at line 84 of file z3++.h.

84 { return m_msg.c_str(); }

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  out,
exception const &  e 

Definition at line 85 of file z3++.h.

85 { out << e.msg(); return out; }