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 ( )

Definition at line 186 of file time_consistency.h.

FloydWarshall::~FloydWarshall ( )

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 ( )

Implements MscIntervalTightener.

Definition at line 196 of file time_consistency.h.

bool FloydWarshall::incon_position_valid ( )

Definition at line 177 of file time_consistency.h.

void FloydWarshall::reset_incon_position ( )

Definition at line 172 of file time_consistency.h.

void FloydWarshall::set_incon_position ( int  x,
int  y 

Definition at line 167 of file time_consistency.h.

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

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

Definition at line 165 of file time_consistency.h.

The documentation for this class was generated from the following files: Logo
Generated on Fri Jan 15 2016 16:26:58 for Sequence Chart Studio by  doxygen