exception.h File Reference

#include <string>
#include <iostream>

Include dependency graph for exception.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

Namespaces

Functions


Detailed Description

Author: Sergey Berezin

Created: Thu Feb 6 13:09:44 2003


License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.


A generic exception. Any thrown exception must inherit from this class and whenever possible, set the error message.

Definition in file exception.h.


Generated on Thu Oct 15 22:16:49 2009 for CVC3 by  doxygen 1.5.8