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
MaximalEventPList Class Reference

list of maximal events Go through the vector of all events using AllReachableEventPVector and using EventTopologyHandler choose maximal events More...

#include <utils.h>

Inheritance diagram for MaximalEventPList:
Inheritance graph
Collaboration diagram for MaximalEventPList:
Collaboration graph

Public Member Functions

 MaximalEventPList (BMscPtr bmsc)
 

Private Attributes

AllReachableEventPVector m_events
 
EventTopologyHandler m_event_top
 

Detailed Description

list of maximal events Go through the vector of all events using AllReachableEventPVector and using EventTopologyHandler choose maximal events

Definition at line 381 of file utils.h.

Constructor & Destructor Documentation

MaximalEventPList::MaximalEventPList ( BMscPtr  bmsc)
inline

Definition at line 388 of file utils.h.

References m_event_top, m_events, and EventTopologyHandler::visual_is_leq().

Member Data Documentation

EventTopologyHandler MaximalEventPList::m_event_top
private

Definition at line 385 of file utils.h.

Referenced by MaximalEventPList().

AllReachableEventPVector MaximalEventPList::m_events
private

Definition at line 384 of file utils.h.

Referenced by MaximalEventPList().


The documentation for this class was generated from the following file:

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