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)
inline

Definition at line 62 of file universal_boundedness_checker.h.

UnboundedCycleException::~UnboundedCycleException ( )
throw (
)
inline

Definition at line 65 of file universal_boundedness_checker.h.

Member Function Documentation

MscElementPListList UnboundedCycleException::get_unbounded_cycles ( void  )
inline

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 (
)
inlinevirtual

Definition at line 58 of file universal_boundedness_checker.h.

Member Data Documentation

MscElementPListList UnboundedCycleException::m_unbounded_cycles
private

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:

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen