Sequence Chart Studio  svn HEAD revision
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions | Private Attributes | List of all members
UnboundedCycleException Class Reference

#include <universal_boundedness_checker.h>

Inheritance diagram for UnboundedCycleException:
Inheritance graph
Collaboration diagram for UnboundedCycleException:
Collaboration graph

Public Member Functions

MscElementPListList get_unbounded_cycles (void)
virtual const char * what () const throw ()
 UnboundedCycleException (MscElementPListList cycles)
 ~UnboundedCycleException () throw ()

Private Attributes

MscElementPListList m_unbounded_cycles

Detailed Description

Definition at line 50 of file universal_boundedness_checker.h.

Constructor & Destructor Documentation

UnboundedCycleException::UnboundedCycleException ( MscElementPListList  cycles)

Definition at line 62 of file universal_boundedness_checker.h.

UnboundedCycleException::~UnboundedCycleException ( )
throw (

Definition at line 65 of file universal_boundedness_checker.h.

Member Function Documentation

MscElementPListList UnboundedCycleException::get_unbounded_cycles ( void  )

Definition at line 54 of file universal_boundedness_checker.h.

References m_unbounded_cycles.

Referenced by UniversalBoundednessChecker::check().

virtual const char* UnboundedCycleException::what ( ) const
throw (

Definition at line 58 of file universal_boundedness_checker.h.

Member Data Documentation

MscElementPListList UnboundedCycleException::m_unbounded_cycles

Definition at line 52 of file universal_boundedness_checker.h.

Referenced by get_unbounded_cycles().

The documentation for this class was generated from the following file: Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen