|
|
std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables > > > | toReset (const TimedCondition &sourceCondition, const TimedCondition &targetCondition) const |
| |
|
template<class T > |
| std::vector< T > | apply (const std::vector< T > &value) const |
| |
| auto | rightVariables () const |
| | The clock variables on the right hand side of the renaming relation. More...
|
| |
|
void | eraseLeft (std::size_t left) |
| | Erase pairs such that (left, right) for some right.
|
| |
|
bool | onlyTrivial (const TimedCondition &targetCondition) const |
| | Check if the renaming relation contains only the trivial equations from the timed conditions.
|
| |
|
bool | containsAllTrivial (const TimedCondition &sourceCondition, const TimedCondition &targetCondition) const |
| | Check if the renaming relation contains all the trivial equations from the timed conditions.
|
| |
|
bool | full (const TimedCondition &condition) const |
| | Check if the renaming relation is full, i.e., all the right variables are restricted.
|
| |
|
bool | hasImpreciseClocks (const TimedCondition &target) const |
| | Check if the application of this renaming causes implicit clocks.
|
| |
|
std::vector< ClockVariables > | impreciseClocks (const TimedCondition &target) const |
| | Return the imprecise clocks by this renaming.
|
| |
|
void | addImplicitConstraints (JuxtaposedZone juxtaposedCondition) |
| | Add renaming equations from target and source conditions.
|
| |
|
void | addImplicitConstraints (const TimedCondition &source, const TimedCondition &target) |
| | Add renaming equations from target and source conditions.
|
| |
|
bool | isRightUnique () const |
| | Check if the renaming relation is right unique, i.e, (i, k) and (j, k) in this implies i == j.
|
| |
