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

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:

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