Scheduled Intervals


Key _Scheduled Intervals in
Scheduled Number Is Inside refers to a read-only table containing r rows and u + 1 columns with the allowed dates dᵢ and applicable intervals Iᵢⱼ expressed as objects of type Real Interval, as shown below:

d₁ , I₁₁ , I₁₂ , ... , I₁ᵤ
d₂ , I₂₁ , I₂₂ , ... , I₂ᵤ
...
dᵣ , Iᵣ₁ , Iᵣ₂ , ... , Iᵣᵤ

u is the number of input real variables x₁ , x₂ , ... , xᵤ to the predicate function Scheduled Number Is Inside

r is the number of dates d₁ , d₂ , ... , dᵣ implied by the schedule defined through the key
Schedule

The left column carries the title #Date and contains the dates d₁ , d₂ , ... , dᵣ

The remaining u columns contain the parameters that define the stepped up predicate functions associated with the dates d₁ , d₂ , ... , dᵣ

Concretely, the iᵗʰ row contains the intervals Iᵢ₁ , Iᵢ₂ , ... , Iᵢᵤ that are observed by the predicate function Scheduled Number Is Inside only when the input variables are dᵢ , x₁ , x₂ , ... , xᵤ for arbitrary x₁ , x₂ , ... , xᵤ, i.e. when the first date variable equals dᵢ

Note the common case where the input to the predicate function Scheduled Number Is Inside contains only one real variable x.
Then all intervals are contained in a single column with r rows.

Note the data here are only created when the user attempts to inspect them and therefore do not affect the regular creation and size of the corresponding
Scheduled Number Is Inside object.

Note this key is prefixed by _, which indicates it is regarded as a read-only part of the object's data and therefore its associated value cannot be edited.
For that reason it does not appear as part of the input data.
It carries informational only value for the user and appears as part of its contents.
Also it completely depends on the remaining object contents and therefore is never part of the exported object's data.