Sequence Chart Studio  svn HEAD revision
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions | Public Attributes | List of all members
MscSolveTCSPReport Struct Reference

#include <time_consistency.h>

Collaboration diagram for MscSolveTCSPReport:
Collaboration graph

Public Member Functions

 MscSolveTCSPReport (const IntervalSetMatrix &original)
 

Public Attributes

IntervalSetMatrix m_matrix_original
 
IntervalSetMatrix m_matrix_result
 
std::vector< IntervalMatrixinconsis_mtxs
 
std::vector< std::pair
< unsigned, unsigned > > 
inconsis_indxs
 
unsigned m_number_of_consistent_choices
 

Detailed Description

Definition at line 212 of file time_consistency.h.

Constructor & Destructor Documentation

MscSolveTCSPReport::MscSolveTCSPReport ( const IntervalSetMatrix original)
inline

Definition at line 213 of file time_consistency.h.

References IntervalSetMatrix::resize(), and IntervalSetMatrix::size().

Member Data Documentation

std::vector<std::pair<unsigned,unsigned> > MscSolveTCSPReport::inconsis_indxs

Definition at line 235 of file time_consistency.h.

Referenced by MscSolveTCSP::move_forward(), and MscSolveTCSP::solveTCSP().

std::vector<IntervalMatrix> MscSolveTCSPReport::inconsis_mtxs

Definition at line 234 of file time_consistency.h.

Referenced by MscSolveTCSP::move_forward(), and MscSolveTCSP::solveTCSP().

IntervalSetMatrix MscSolveTCSPReport::m_matrix_original
IntervalSetMatrix MscSolveTCSPReport::m_matrix_result

Definition at line 232 of file time_consistency.h.

Referenced by MscSolveTCSP::solveTCSP(), and MscSolveTCSP::tight().

unsigned MscSolveTCSPReport::m_number_of_consistent_choices

Definition at line 237 of file time_consistency.h.

Referenced by MscSolveTCSP::solveTCSP(), and MscSolveTCSP::tight().


The documentation for this struct was generated from the following file:

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