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

#include <tightening.h>

Inheritance diagram for HMscTighter:
Inheritance graph
Collaboration diagram for HMscTighter:
Collaboration graph

Public Member Functions

 HMscTighter (Reporter *reporter)
 
 ~HMscTighter ()
 
HMscPtr transform (HMscPtr h)
 
std::pair
< BMscIntervalSetComponentMatrix,
IntervalSetComponentMatrix
tighten_BMscGraph_path (std::list< MscElement * > &path)
 Tightens BMscGraph path and returns BMscIntervalSetMatrix with original constraints and IntervalSetMatrix with tightened constraints. More...
 
virtual void on_path_found (std::list< MscElement * > &path)
 Tightens path and fills result to the original HMsc using the interval set disjunction. This allows us to store in the original HMsc partial result of whole tightening. More...
 
void set_causal ()
 
- Public Member Functions inherited from PathFoundListener
virtual ~PathFoundListener ()
 
virtual void on_path_found (MscElementPList &path)=0
 

Private Attributes

Reporterm_reporter
 
bool m_causal
 
std::set< TemporaryEvent * > m_events_to_delete
 

Detailed Description

Definition at line 102 of file tightening.h.

Constructor & Destructor Documentation

HMscTighter::HMscTighter ( Reporter reporter)
inline

Definition at line 111 of file tightening.h.

HMscTighter::~HMscTighter ( )
inline

Definition at line 116 of file tightening.h.

Member Function Documentation

virtual void HMscTighter::on_path_found ( std::list< MscElement * > &  path)
inlinevirtual

Tightens path and fills result to the original HMsc using the interval set disjunction. This allows us to store in the original HMsc partial result of whole tightening.

Definition at line 347 of file tightening.h.

References TimeConstraint::get_interval_set(), BMscIntervalSetComponentMatrix::get_number(), MscElementTmpl< T >::get_original(), BMscIntervalSetComponentMatrix::get_tied_time_relations(), result, and MscTimeIntervalSet< double >::set_union().

void HMscTighter::set_causal ( )
inline

Definition at line 374 of file tightening.h.

std::pair<BMscIntervalSetComponentMatrix,IntervalSetComponentMatrix> HMscTighter::tighten_BMscGraph_path ( std::list< MscElement * > &  path)
inline
HMscPtr HMscTighter::transform ( HMscPtr  h)
inline

Member Data Documentation

bool HMscTighter::m_causal
private

Definition at line 107 of file tightening.h.

std::set<TemporaryEvent*> HMscTighter::m_events_to_delete
private

Definition at line 108 of file tightening.h.

Reporter* HMscTighter::m_reporter
private

Definition at line 106 of file tightening.h.


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