Opened 12 years ago
Last modified 5 years ago
#2152 assigned enhancement
Find exact times of time events — at Initial Version
| Reported by: | Martin Sjölund | Owned by: | somebody |
|---|---|---|---|
| Priority: | blocker | Milestone: | 2.0.0 |
| Component: | Run-time | Version: | trunk |
| Keywords: | Cc: | Andreas Heuermann |
Description
The pattern to look for is something like:
time >= pre(nextTimeEvent)
An expression with only pre(discrete), constant, or parameter
expressions. Then it is always possible to calculate the next exact time
of this event indicator. Replace >= with ==, solve for time. If the
time is <= current time, no more events occur.
Note:
See TracTickets
for help on using tickets.
