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

#include <time_consistency.h>

Inheritance diagram for HMscConsistencyChecker:
Inheritance graph
Collaboration diagram for HMscConsistencyChecker:
Collaboration graph

Public Member Functions

 HMscConsistencyChecker (Reporter *reporter)
 
 ~HMscConsistencyChecker ()
 
virtual std::list< HMscPtrcheck (HMscPtr hmsc, ChannelMapperPtr mapper)
 
virtual void on_path_found (std::list< MscElement * > &path)
 Tightens BMscGraph path and returns BMscIntervalSetMatrix with original constraints and IntervalSetMatrix with tightened constraints. More...
 
std::list< HMscPtrmake_counter_example (BMscIntervalSetComponentMatrix b_matrix, MscSolveTCSPComponentMatrixReport *report, std::list< MscElement * > path)
 
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::list< Block >::iterator m_iter
 
std::list< HMscPtrm_final_result
 

Detailed Description

Definition at line 621 of file time_consistency.h.

Constructor & Destructor Documentation

HMscConsistencyChecker::HMscConsistencyChecker ( Reporter reporter)
inline

Definition at line 631 of file time_consistency.h.

HMscConsistencyChecker::~HMscConsistencyChecker ( )
inline

Definition at line 636 of file time_consistency.h.

Member Function Documentation

virtual std::list<HMscPtr> HMscConsistencyChecker::check ( HMscPtr  hmsc,
ChannelMapperPtr  mapper 
)
inlinevirtual
std::list<HMscPtr> HMscConsistencyChecker::make_counter_example ( BMscIntervalSetComponentMatrix  b_matrix,
MscSolveTCSPComponentMatrixReport report,
std::list< MscElement * >  path 
)
inline
virtual void HMscConsistencyChecker::on_path_found ( std::list< MscElement * > &  path)
inlinevirtual
void HMscConsistencyChecker::set_causal ( )
inline

Definition at line 1167 of file time_consistency.h.

Member Data Documentation

bool HMscConsistencyChecker::m_causal
private

Definition at line 626 of file time_consistency.h.

std::list<HMscPtr> HMscConsistencyChecker::m_final_result
private

Definition at line 628 of file time_consistency.h.

std::list<Block>::iterator HMscConsistencyChecker::m_iter
private

Definition at line 627 of file time_consistency.h.

Reporter* HMscConsistencyChecker::m_reporter
private

Definition at line 625 of file time_consistency.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