case classAfterP(interval: Interval, period: Period, triggerCharSpan: Option[(Int, Int)] = None) extends Interval with IP with Product with Serializable
Shifts the input interval later by a given period length.
Formally: After([t1,t2): Interval, Δ: Period) = [t1 + Δ - x, t2 + Δ + x)
where x = u1(Δ)/2 if t2 - t1 is smaller than u1(Δ) or 0 otherwise
where u1(Δ) is a period with the same units as Δ but only 1 unit
In other words, the width of the resulting interval is the maximum of
the widths of the input interval and a 1-unit version of the period
Shifts the input interval later by a given period length. Formally: After([t1,t2): Interval, Δ: Period) = [t1 + Δ - x, t2 + Δ + x) where x = u1(Δ)/2 if t2 - t1 is smaller than u1(Δ) or 0 otherwise where u1(Δ) is a period with the same units as Δ but only 1 unit
In other words, the width of the resulting interval is the maximum of the widths of the input interval and a 1-unit version of the period
interval to shift from
period to shift the interval by