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

P3C: consistency checker and tightener, IntervalMatrix. More...

#include <time_consistency.h>

Inheritance diagram for P3C:
Inheritance graph
Collaboration diagram for P3C:
Collaboration graph

Public Member Functions

 P3C (std::vector< std::set< unsigned > > &edges)
 
const IntervalMatrixtight (const IntervalMatrix &) throw (MscTimeInconsistencyException)
 returns NULL if inconsistent More...
 
void set_edges (std::vector< std::set< unsigned > > &edges)
 
std::pair< unsigned, unsigned > incon_position_get ()
 
 ~P3C ()
 
- Public Member Functions inherited from MscIntervalTightener
virtual ~MscIntervalTightener ()
 

Private Member Functions

void set_incon_position (int x, int y)
 
void reset_incon_position ()
 
bool incon_position_valid ()
 
bool directional_path_consistency (IntervalMatrix *matrix)
 

Private Attributes

std::pair< int, int > m_incon_position
 
std::vector< std::set< unsigned > > m_edges
 

Detailed Description

P3C: consistency checker and tightener, IntervalMatrix.

Definition at line 100 of file time_consistency.h.

Constructor & Destructor Documentation

P3C::P3C ( std::vector< std::set< unsigned > > &  edges)
inline

Definition at line 130 of file time_consistency.h.

P3C::~P3C ( )
inline

Definition at line 153 of file time_consistency.h.

Member Function Documentation

bool P3C::directional_path_consistency ( IntervalMatrix matrix)
private
std::pair<unsigned,unsigned> P3C::incon_position_get ( )
inlinevirtual

Implements MscIntervalTightener.

Definition at line 145 of file time_consistency.h.

bool P3C::incon_position_valid ( )
inlineprivate

Definition at line 119 of file time_consistency.h.

void P3C::reset_incon_position ( )
inlineprivate

Definition at line 114 of file time_consistency.h.

void P3C::set_edges ( std::vector< std::set< unsigned > > &  edges)
inline

Definition at line 140 of file time_consistency.h.

void P3C::set_incon_position ( int  x,
int  y 
)
inlineprivate

Definition at line 109 of file time_consistency.h.

Referenced by directional_path_consistency().

const IntervalMatrix * P3C::tight ( const IntervalMatrix )
throw (MscTimeInconsistencyException
)
virtual

returns NULL if inconsistent

Implements MscIntervalTightener.

Definition at line 49 of file time_consistency.cpp.

References MscTimeInterval< T >::interval_intersection(), and MscTimeInterval< T >::interval_inverse().

Member Data Documentation

std::vector< std::set<unsigned> > P3C::m_edges
private

Definition at line 107 of file time_consistency.h.

Referenced by directional_path_consistency().

std::pair<int,int> P3C::m_incon_position
private

Definition at line 105 of file time_consistency.h.


The documentation for this class was generated from the following files:

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen