TimingConstraints::AgeConstraint

An AgeConstraint defines how long before each response a corresponding stimulus must have occurred.<br/><br/>This constraint provides an alternative to the ordinary DelayConstraint for situations where the causal relation between event occurrences must be taken into account. It differs from the DelayConstraint in that it applies to an event chain, and only looks at the stimulus occurrences that have the same color as each particular response occurrence. It is the latest of these stimulus occurrences that is required to lie within the prescribed time bounds. If the roles of stimulus and response are swapped, and the time bounds negated, a ReactionConstraint is obtained.<br/><br/>Semantics:<br/>A system behavior satisfies an AgeConstraint c if and only if<br/>for each occurrence y in c.scope.response,<br/> there is an occurrence x in c.scope.stimulus such that<br/> x.color = y.color<br/> and<br/> x is maximal in c.scope.stimulus with that color<br/> and<br/> c.minimum #lt;= y - x #lt;= c.maximum<br/>