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

Floyd Warshall: consistency checker and tightener, IntervalMatrix. More...

#include <time_consistency.h>

Inheritance diagram for FloydWarshall:
Inheritance graph
Collaboration diagram for FloydWarshall:
Collaboration graph

Public Member Functions

 FloydWarshall ()
 
const IntervalMatrixtight (const IntervalMatrix &) throw (MscTimeInconsistencyException)
 returns NULL if inconsistent More...
 
bool check_consistency (const IntervalMatrix &)
 
std::pair< unsigned, unsigned > incon_position_get ()
 
 ~FloydWarshall ()
 
- 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 ()
 

Private Attributes

std::pair< int, int > m_incon_position
 

Detailed Description

Floyd Warshall: consistency checker and tightener, IntervalMatrix.

Definition at line 160 of file time_consistency.h.

Constructor & Destructor Documentation

FloydWarshall::FloydWarshall ( )
inline

Definition at line 186 of file time_consistency.h.

FloydWarshall::~FloydWarshall ( )
inline

Definition at line 204 of file time_consistency.h.

Member Function Documentation

bool FloydWarshall::check_consistency ( const IntervalMatrix )
std::pair<unsigned,unsigned> FloydWarshall::incon_position_get ( )
inlinevirtual

Implements MscIntervalTightener.

Definition at line 196 of file time_consistency.h.

bool FloydWarshall::incon_position_valid ( )
inlineprivate

Definition at line 177 of file time_consistency.h.

void FloydWarshall::reset_incon_position ( )
inlineprivate

Definition at line 172 of file time_consistency.h.

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

Definition at line 167 of file time_consistency.h.

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

returns NULL if inconsistent

Implements MscIntervalTightener.

Definition at line 81 of file time_consistency.cpp.

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

Member Data Documentation

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

Definition at line 165 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:58 for Sequence Chart Studio by  doxygen