exception.h File Reference

Exception classes for use in libraries and tools. More...

Go to the source code of this file.

Classes
class	mcrl2::runtime_error
	Standard exception class for reporting runtime errors. More...
class	mcrl2::command_line_error
	Exception class for errors raised by the command-line parser. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

Detailed Description

Exception classes for use in libraries and tools.

Definition in file exception.h.