Class Windows

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.

Performs the boolean And operation on this and any number of additional Windows.

Replaces all gaps in this profile with default segments taken from the argument

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.

Only check this expression when the condition argument is true; otherwise the result is vacuously true.

Selects the ith true window and falsifies the other true segments.

Returns a new windows object, with all true segments shorter than or equal to the given duration set to false.

Performs the boolean Not operation on this windows object.

Performs the boolean Or operation on this and any number of additional Windows.

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).

Returns a new windows object, with all true segments longer than or equal to the given duration set to false.

Convert this into a set of Spans.

Throws

InvalidGapsException if this contains any gaps.

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.

Throws

UnsplittableSpanException during backend evaluation if the duration of a window is fewer microseconds than N.

Throws

UnsplittableSpanException if any window is unbounded (i.e. contains MIN_VALUE or MAX_VALUE)

Throws

InvalidGapsException if this contains any gaps.

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.

Performs the boolean And operation on any number of Windows.

Produces windows for each activity present in the plan and belonging to one of the activity types passed

Performs the boolean Or operation on any number of Windows.

Produces a single window.