Statechart transition with trigger of type rate. A rate is a form of updatable exponential timeout. Such transition is executed with the timeout distributed exponentially with the parameter rate (counted from the moment the statechart came to the
transition's source state), i.e. if the rate is 5, the transition will be executed on average 5 times per time unit. Rate triggered transition is depicted by the icon
.
To define a rate triggered transition
If the rate changes dynamically, the timeout gets re-evaluated; such changes may only be noticed by transition if onChange() is called for the agent.
boolean isActive() - Returns true, if the transition is currently scheduled, false otherwise.
double getRest()
- Returns the time remaining before the scheduled occurrence of the transition,
in model time units.
If the transition is not scheduled, the function returns
infinity
.
Example: transition.getRest(MINUTE) will return the remaining time in minutes.