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

#include <time_consistency.h>

Collaboration diagram for MscSolveTCSP:
Collaboration graph

Public Member Functions

 MscSolveTCSP ()
 
 ~MscSolveTCSP ()
 
MscSolveTCSPReport solveTCSP (const IntervalSetMatrix &matrix)
 main function, first to call More...
 
MscSolveTCSPComponentMatrixReport solveTCSP (const IntervalSetComponentMatrix &matrix)
 solves matrix and returns report More...
 

Private Member Functions

void init_simple_matrix (IntervalMatrix &m)
 init simple matrix puts to the matrix m interval (0,0) if row == colomn and (-inf,inf) otherwise More...
 
void insert_interval (IntervalMatrix &m, unsigned int row, unsigned int col)
 tries to insert all intervals on row,col position Takes TimeIntervalSet on the m_matrix_to_original[row,col] position and insert it to the IntervalMatrix m[row,col] and checks the matrix for consistency and if not so, interval is skipped More...
 
void move_forward (IntervalMatrix &m, unsigned int row, unsigned int col)
 increase row, col and order tightening More...
 
bool tight (const IntervalMatrix &to_tight)
 tight to_tight and add result to report More...
 
bool tight (const IntervalMatrix &to_tight, std::vector< std::set< unsigned > > &edges)
 tight to_tight and add result to report More...
 

Private Attributes

MscIntervalTightenerm_tightener
 
MscSolveTCSPReportm_report
 
unsigned m_size
 

Detailed Description

Definition at line 258 of file time_consistency.h.

Constructor & Destructor Documentation

MscSolveTCSP::MscSolveTCSP ( )
inline

Definition at line 293 of file time_consistency.h.

MscSolveTCSP::~MscSolveTCSP ( )
inline

Definition at line 299 of file time_consistency.h.

Member Function Documentation

void MscSolveTCSP::init_simple_matrix ( IntervalMatrix m)
private

init simple matrix puts to the matrix m interval (0,0) if row == colomn and (-inf,inf) otherwise

Definition at line 105 of file time_consistency.cpp.

References m_size, and IntervalMatrix::resize().

Referenced by solveTCSP().

void MscSolveTCSP::insert_interval ( IntervalMatrix m,
unsigned int  row,
unsigned int  col 
)
private

tries to insert all intervals on row,col position Takes TimeIntervalSet on the m_matrix_to_original[row,col] position and insert it to the IntervalMatrix m[row,col] and checks the matrix for consistency and if not so, interval is skipped

Definition at line 122 of file time_consistency.cpp.

References MscTimeInterval< T >::interval_inverse(), MscSolveTCSPReport::m_matrix_original, m_report, and move_forward().

Referenced by move_forward(), and solveTCSP().

void MscSolveTCSP::move_forward ( IntervalMatrix m,
unsigned int  row,
unsigned int  col 
)
private
MscSolveTCSPReport MscSolveTCSP::solveTCSP ( const IntervalSetMatrix matrix)
MscSolveTCSPComponentMatrixReport MscSolveTCSP::solveTCSP ( const IntervalSetComponentMatrix matrix)
bool MscSolveTCSP::tight ( const IntervalMatrix to_tight)
private
bool MscSolveTCSP::tight ( const IntervalMatrix to_tight,
std::vector< std::set< unsigned > > &  edges 
)
private

Member Data Documentation

MscSolveTCSPReport* MscSolveTCSP::m_report
private

Definition at line 262 of file time_consistency.h.

Referenced by insert_interval(), move_forward(), solveTCSP(), and tight().

unsigned MscSolveTCSP::m_size
private

Definition at line 263 of file time_consistency.h.

Referenced by init_simple_matrix(), move_forward(), solveTCSP(), and tight().

MscIntervalTightener* MscSolveTCSP::m_tightener
private

Definition at line 261 of file time_consistency.h.

Referenced by move_forward(), and tight().


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