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

#include <time_order_optimizer.h>

Inheritance diagram for InstanceEventsListener:
Inheritance graph
Collaboration diagram for InstanceEventsListener:
Collaboration graph

Public Member Functions

 InstanceEventsListener ()
virtual void on_white_event_found (Event *e)
InstanceEventsMapget_instance_events_map ()
- Public Member Functions inherited from WhiteEventFoundListener
virtual ~WhiteEventFoundListener ()

Private Attributes

InstanceEventsMap m_instance_events_map

Detailed Description

Definition at line 91 of file time_order_optimizer.h.

Constructor & Destructor Documentation

InstanceEventsListener::InstanceEventsListener ( )

Definition at line 95 of file time_order_optimizer.h.

Member Function Documentation

InstanceEventsMap& InstanceEventsListener::get_instance_events_map ( )

Definition at line 104 of file time_order_optimizer.h.

References m_instance_events_map.

Referenced by TimeRelevantOrdering::transform_times().

virtual void InstanceEventsListener::on_white_event_found ( Event e)

Implements WhiteEventFoundListener.

Definition at line 99 of file time_order_optimizer.h.

References Event::get_instance(), and m_instance_events_map.

Member Data Documentation

InstanceEventsMap InstanceEventsListener::m_instance_events_map

Definition at line 109 of file time_order_optimizer.h.

Referenced by get_instance_events_map(), and on_white_event_found().

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