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

Abstract class to the tightener. More...

#include <time_consistency.h>

Inheritance diagram for MscIntervalTightener:
Inheritance graph
Collaboration diagram for MscIntervalTightener:
Collaboration graph

Public Member Functions

virtual ~MscIntervalTightener ()
virtual const IntervalMatrixtight (const IntervalMatrix &)=0 throw (MscTimeInconsistencyException)
 returns NULL if inconsistent More...
virtual std::pair< unsigned,
unsigned > 
incon_position_get ()=0

Detailed Description

Abstract class to the tightener.

Definition at line 86 of file time_consistency.h.

Constructor & Destructor Documentation

virtual MscIntervalTightener::~MscIntervalTightener ( )

Definition at line 89 of file time_consistency.h.

Member Function Documentation

virtual std::pair<unsigned,unsigned> MscIntervalTightener::incon_position_get ( )
pure virtual

Implemented in FloydWarshall, and P3C.

Referenced by MscSolveTCSP::move_forward().

virtual const IntervalMatrix* MscIntervalTightener::tight ( const IntervalMatrix )
throw (MscTimeInconsistencyException
pure virtual

returns NULL if inconsistent

Implemented in FloydWarshall, and P3C.

Referenced by MscSolveTCSP::tight().

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