libutap
Public Member Functions | Public Attributes | List of all members
UTAP::cut_t Struct Reference

#include <system.h>

Public Member Functions

 cut_t (int number)
 
void add (simregion_t s)
 
void erase (simregion_t s)
 
bool contains (simregion_t s)
 
bool isInPrechart (const simregion_t &fSimregion) const
 returns true if the cut is in the prechart, given one of the following simregions. More...
 
bool isInPrechart () const
 
bool equals (const cut_t &y) const
 
std::string toString () const
 

Public Attributes

int nr
 
std::vector< simregion_tsimregions
 

Constructor & Destructor Documentation

UTAP::cut_t::cut_t ( int  number)
inline

Member Function Documentation

void UTAP::cut_t::add ( simregion_t  s)
inline
bool cut_t::contains ( simregion_t  s)

References UTAP::simregion_t::nr.

bool cut_t::equals ( const cut_t y) const

References simregions.

void cut_t::erase ( simregion_t  s)

References UTAP::simregion_t::nr.

bool cut_t::isInPrechart ( const simregion_t fSimregion) const

returns true if the cut is in the prechart, given one of the following simregions.

if one of the following simregions is not in the prechart, then all following simregions aren't in the prechart (because of the construction of the partial order), and the cut is not in the prechart (but may contain only simregions that are in the prechart, if it is the limit between the prechart and the mainchart)

if one of the following simregions is not in the prechart, then all following simregions aren't in the prechart (because of the construction of the partial order), and the cut is not in the prechart (but can contain only simregions that are in the prechart, if it is the limit between the prechart and the mainchart)

References UTAP::simregion_t::isInPrechart().

bool cut_t::isInPrechart ( ) const
std::string UTAP::cut_t::toString ( ) const
inline

Member Data Documentation

int UTAP::cut_t::nr
std::vector<simregion_t> UTAP::cut_t::simregions

Referenced by equals().


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