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_t >	simregions

Detailed Description

Definition at line 261 of file system.h.

Constructor & Destructor Documentation

cut_t()

UTAP::cut_t::cut_t ( int  number )

inline

Definition at line 265 of file system.h.

Member Function Documentation

add()

void UTAP::cut_t::add ( simregion_t  s )

inline

Definition at line 269 of file system.h.

contains()

bool cut_t::contains

(

simregion_t

s

)

Definition at line 814 of file system.cpp.

References UTAP::simregion_t::nr.

equals()

bool cut_t::equals

(

const cut_t &

y

)

const

Definition at line 864 of file system.cpp.

References simregions.

erase()

void cut_t::erase

(

simregion_t

s

)

Definition at line 805 of file system.cpp.

References UTAP::simregion_t::nr.

isInPrechart() [1/2]

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)

Definition at line 834 of file system.cpp.

References UTAP::simregion_t::isInPrechart().

Here is the call graph for this function:

isInPrechart() [2/2]

bool cut_t::isInPrechart

(

)

const

Definition at line 851 of file system.cpp.

toString()

std::string UTAP::cut_t::toString ( ) const

inline

Definition at line 290 of file system.h.

References UTAP::variable_t::toString().

Here is the call graph for this function:

Member Data Documentation

nr

int UTAP::cut_t::nr

Definition at line 263 of file system.h.

simregions

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

Definition at line 264 of file system.h.

Referenced by equals().

---

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

• system.h
• system.cpp