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

#include <time_pseudocode.h>

Collaboration diagram for TimeRelationsFunc:
Collaboration graph

Static Public Member Functions

static const
TimeRelationEventPtrList 
get (const EventP a, const EventP b)
 

Detailed Description

Definition at line 1370 of file time_pseudocode.h.

Member Function Documentation

static const TimeRelationEventPtrList TimeRelationsFunc::get ( const EventP  a,
const EventP  b 
)
inlinestatic

finds all time relations between event "a" and "b" dont mind about direction of timerelation : linear to the number of relations on event that hols less time relations (implementation of std::list.size() constant..) go through the list of time relations of event a and finds time relatins to "b" or from "b" to "a"

Definition at line 1380 of file time_pseudocode.h.

Referenced by ConsistencyChecker::check(), and HMscConsistencyChecker::make_counter_example().


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