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

#include <membership_base.h>

Collaboration diagram for MembershipResult:
Collaboration graph

Public Member Functions

 MembershipResult (std::vector< std::pair< TimeConstraintPtr, HMscNodePtr > > not_covered, std::vector< std::pair< TimeConstraintPtr, HMscNodePtr > > not_full_covered, std::vector< HMscNodePtr > path)
 
std::pair< unsigned int,
unsigned int > 
get_corupted_intervals_size ()
 
std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
get_not_covered_intervals ()
 
std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
get_not_full_covered_intervals ()
 
std::vector< HMscNodePtrget_result_path ()
 

Private Attributes

std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
not_covered_intervals
 
std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
not_full_covered_intervals
 intervals in specification which are not satisfied More...
 
std::vector< HMscNodePtrresult_path
 intervals in specification which are not full covered More...
 
size_t m_counter
 Number of references to this object. More...
 

Friends

void intrusive_ptr_add_ref (const MembershipResult *ptr)
 
void intrusive_ptr_release (const MembershipResult *ptr)
 

Detailed Description

Definition at line 198 of file membership_base.h.

Constructor & Destructor Documentation

MembershipResult::MembershipResult ( std::vector< std::pair< TimeConstraintPtr, HMscNodePtr > >  not_covered,
std::vector< std::pair< TimeConstraintPtr, HMscNodePtr > >  not_full_covered,
std::vector< HMscNodePtr path 
)
inline

Member Function Documentation

std::pair<unsigned int, unsigned int> MembershipResult::get_corupted_intervals_size ( )
inline

Definition at line 225 of file membership_base.h.

References not_covered_intervals, and not_full_covered_intervals.

std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipResult::get_not_covered_intervals ( )
inline

Definition at line 230 of file membership_base.h.

References not_covered_intervals.

std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipResult::get_not_full_covered_intervals ( )
inline

Definition at line 235 of file membership_base.h.

References not_full_covered_intervals.

std::vector<HMscNodePtr> MembershipResult::get_result_path ( )
inline

Definition at line 240 of file membership_base.h.

References result_path.

Friends And Related Function Documentation

void intrusive_ptr_add_ref ( const MembershipResult ptr)
friend

Definition at line 246 of file membership_base.h.

void intrusive_ptr_release ( const MembershipResult ptr)
friend

Definition at line 252 of file membership_base.h.

Member Data Documentation

size_t MembershipResult::m_counter
mutableprivate

Number of references to this object.

Definition at line 205 of file membership_base.h.

Referenced by intrusive_ptr_add_ref(), intrusive_ptr_release(), and MembershipResult().

std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipResult::not_covered_intervals
private
std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipResult::not_full_covered_intervals
private

intervals in specification which are not satisfied

Definition at line 201 of file membership_base.h.

Referenced by get_corupted_intervals_size(), get_not_full_covered_intervals(), and MembershipResult().

std::vector<HMscNodePtr> MembershipResult::result_path
private

intervals in specification which are not full covered

Definition at line 202 of file membership_base.h.

Referenced by get_result_path(), and MembershipResult().


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