#include <system.h>
UTAP::cut_t::cut_t |
( |
int |
number | ) |
|
|
inline |
bool cut_t::equals |
( |
const cut_t & |
y | ) |
const |
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 |
The documentation for this struct was generated from the following files: