id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2152	Find exact times of time events	Martin Sjölund	somebody	"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. "	enhancement	new	high	1.9.0	Run-time	trunk			Willi Braun Lennart Ochel fcasella