CVCL::SmtlibException Class Reference

#include <smtlib_exception.h>

Inheritance diagram for CVCL::SmtlibException:

Inheritance graph
Collaboration diagram for CVCL::SmtlibException:

Collaboration graph
List of all members.

Public Member Functions

Detailed Description

Definition at line 39 of file smtlib_exception.h.

Constructor & Destructor Documentation

CVCL::SmtlibException::SmtlibException  )  [inline]

Definition at line 42 of file smtlib_exception.h.

CVCL::SmtlibException::SmtlibException const std::string &  msg  )  [inline]

Definition at line 43 of file smtlib_exception.h.

CVCL::SmtlibException::SmtlibException char *  msg  )  [inline]

Definition at line 44 of file smtlib_exception.h.

virtual CVCL::SmtlibException::~SmtlibException  )  [inline, virtual]

Definition at line 46 of file smtlib_exception.h.

Member Function Documentation

virtual std::string CVCL::SmtlibException::toString  )  const [inline, virtual]

Reimplemented from CVCL::Exception.

Definition at line 47 of file smtlib_exception.h.

References CVCL::Exception::d_msg.

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:44 2006 for CVC Lite by  doxygen 1.4.4