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

#include <time_pseudocode.h>

Inheritance diagram for IntervalSetComponentMatrix:
Inheritance graph
Collaboration diagram for IntervalSetComponentMatrix:
Collaboration graph

Public Member Functions

void add_value (const unsigned int x, const unsigned int y)
 works only if the indices x and y are in the same component More...
 
void set_values (IntervalSetComponentMatrix &matrix)
 
void triangulate ()
 
 IntervalSetComponentMatrix ()
 
const unsigned int get_size () const
 
const unsigned get_number_of_components () const
 returns number of components More...
 
std::pair< unsigned int,
unsigned int > 
get_component_index (const unsigned int x) const
 for given element on index x in component matrix returns pair (component index, index of element in this component) More...
 
int in_same_component (const unsigned x, const unsigned y, const unsigned component_x, const unsigned offset_x)
 if the indices are in the same component return offset of the component, else return -1 More...
 
MscTimeIntervalSetDoperator() (const unsigned int x, const unsigned int y)
 works only if the indices x and y are in the same component More...
 
const MscTimeIntervalSetD get_element (const unsigned int x, const unsigned int y) const
 returns element on the position x,y More...
 
void push_back_component (IntervalSetMatrix &matrix)
 adds new component as last component More...
 
void print () const
 
void set_component (unsigned i, IntervalSetMatrix matrix)
 
IntervalSetMatrixget_component (unsigned i)
 returns the i-th component More...
 
IntervalSetMatrix get_component (unsigned i) const
 returns the i-th component More...
 
unsigned get_component_size (unsigned i) const
 returns the size of the i-th component More...
 
unsigned get_offset (unsigned index) const
 returns offset for indices in component on index index More...
 

Private Attributes

unsigned int m_size
 
std::vector< IntervalSetMatrixm_components
 

Detailed Description

Definition at line 400 of file time_pseudocode.h.

Constructor & Destructor Documentation

IntervalSetComponentMatrix::IntervalSetComponentMatrix ( )
inline

Definition at line 460 of file time_pseudocode.h.

Member Function Documentation

void IntervalSetComponentMatrix::add_value ( const unsigned int  x,
const unsigned int  y 
)
inline

works only if the indices x and y are in the same component

Definition at line 410 of file time_pseudocode.h.

Referenced by BMscIntervalSetComponentMatrix::build_up_matrix().

IntervalSetMatrix& IntervalSetComponentMatrix::get_component ( unsigned  i)
inline
IntervalSetMatrix IntervalSetComponentMatrix::get_component ( unsigned  i) const
inline

returns the i-th component

Definition at line 635 of file time_pseudocode.h.

std::pair<unsigned int, unsigned int> IntervalSetComponentMatrix::get_component_index ( const unsigned int  x) const
inline

for given element on index x in component matrix returns pair (component index, index of element in this component)

Definition at line 477 of file time_pseudocode.h.

References ERR_MATRIX_SMALLER.

unsigned IntervalSetComponentMatrix::get_component_size ( unsigned  i) const
inline

returns the size of the i-th component

Definition at line 643 of file time_pseudocode.h.

Referenced by HMscConsistencyChecker::on_path_found(), and HMscTighter::tighten_BMscGraph_path().

const MscTimeIntervalSetD IntervalSetComponentMatrix::get_element ( const unsigned int  x,
const unsigned int  y 
) const
inline
const unsigned IntervalSetComponentMatrix::get_number_of_components ( ) const
inline
unsigned IntervalSetComponentMatrix::get_offset ( unsigned  index) const
inline

returns offset for indices in component on index index

Definition at line 651 of file time_pseudocode.h.

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

const unsigned int IntervalSetComponentMatrix::get_size ( ) const
inline

Definition at line 465 of file time_pseudocode.h.

Referenced by HMscTighter::tighten_BMscGraph_path().

int IntervalSetComponentMatrix::in_same_component ( const unsigned  x,
const unsigned  y,
const unsigned  component_x,
const unsigned  offset_x 
)
inline

if the indices are in the same component return offset of the component, else return -1

Definition at line 491 of file time_pseudocode.h.

MscTimeIntervalSetD& IntervalSetComponentMatrix::operator() ( const unsigned int  x,
const unsigned int  y 
)
inline

works only if the indices x and y are in the same component

Definition at line 502 of file time_pseudocode.h.

Referenced by BMscIntervalSetComponentMatrix::fill(), and BMscIntervalSetComponentMatrix::operator()().

void IntervalSetComponentMatrix::print ( ) const
inline

Definition at line 613 of file time_pseudocode.h.

void IntervalSetComponentMatrix::push_back_component ( IntervalSetMatrix matrix)
inline
void IntervalSetComponentMatrix::set_component ( unsigned  i,
IntervalSetMatrix  matrix 
)
inline

Definition at line 621 of file time_pseudocode.h.

Referenced by BMscIntervalSetComponentMatrix::operator=().

void IntervalSetComponentMatrix::set_values ( IntervalSetComponentMatrix matrix)
inline
void IntervalSetComponentMatrix::triangulate ( )
inline

Definition at line 452 of file time_pseudocode.h.

Referenced by BMscIntervalSetComponentMatrix::triangulate().

Member Data Documentation

std::vector<IntervalSetMatrix> IntervalSetComponentMatrix::m_components
private

Definition at line 403 of file time_pseudocode.h.

unsigned int IntervalSetComponentMatrix::m_size
private

Definition at line 402 of file time_pseudocode.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