mcrl2::runtime_error

Include file:

#include "mcrl2/utilities/exception.h

class mcrl2::runtime_error

Standard exception class for reporting runtime errors.

Public member functions

runtime_error(const std::string &message)

Constructor.

Parameters:

• message the exception message