Counts the cumulative amount of time spent in an active Window, as a multiple of some unit of time.
The output profile always starts at 0 at the simulation start time. Initial conditions from before the simulation start time are not considered, even in the case of temporal-subset plan branches with later start times.
unit of time to count. Does not need to be a round unit (i.e. can be 1.5 minutes, if you want).
Replaces each true segment with its end point.
Since gaps represent "unknown", true segments that come before a gap don't have a known end point. So instead their last known point is unset and the rest is set to false.
True segments that explicitly come directly before false and include their end point have all except their end point set to false. If they don't include the end point, then the whole interval is set to false and the end point is set true.
Shifts the start and end of all true segments by a duration.
The second argument is optional: if omitted, shiftBy(dur)
shifts all segments uniformly by dur
, which
is equivalent to shiftBy(dur, dur)
.
Shifts the start and end of all false segment by the reversed directions (i.e. the start of each false segment
is shifted by fromEnd
).
duration to add from the start of each true segment
Optional
fromEnd: Durationduration to add from the end of each true segment. Default is equal to fromStart
if omitted.
Splits each true segment into equal sized sub-intervals. Returns a Spans object.
For .split(N)
, N sub-windows will be created by removing N-1 points in the middle.
UnsplittableSpanException during backend evaluation if the duration of a window is fewer microseconds than N.
UnsplittableSpanException if any window is unbounded (i.e. contains MIN_VALUE or MAX_VALUE)
InvalidGapsException if this contains any gaps.
how many sub-windows to split each window into
Inclusivity for any newly generated span start points (default Inclusive).
Inclusivity for any newly generated span end points (default Exclusive).
Replaces each true segment with its start point.
Since gaps represent "unknown", true segments that come after a gap don't have a known start point. So instead their first known point is unset and the rest is set to false.
True segments that explicitly come directly after false and include their start point have all except their start point set to false. If they don't include the start point, then the whole interval is set to false and the start point is set true.
Produces a constraint violation whenever this is false.
Essentially, express the condition you want to be satisfied, then use this method to produce a violation whenever it is NOT satisfied.
Static
AndStatic
DuringStatic
OrStatic
ValueGenerated using TypeDoc
A boolean profile; a function from time to truth values.