spot
1.0.1
|
#include <string>
#include <iosfwd>
Go to the source code of this file.
Classes | |
class | spot::gspn_exception |
An exception used to forward GSPN errors. More... |
Namespaces | |
namespace | spot |
Functions | |
std::ostream & | spot::operator<< (std::ostream &os, const gspn_exception &e) |