timespans

Tools for modeling “timespans”.

---

Functions

offset_happens_after_timespan_starts	Makes time relation indicating that offset happens after timespan starts.
offset_happens_after_timespan_stops	Makes time relation indicating that offset happens after timespan stops.
offset_happens_before_timespan_starts	Makes time relation indicating that offset happens before timespan starts.
offset_happens_before_timespan_stops	Makes time relation indicating that offset happens before timespan stops.
offset_happens_during_timespan	Makes time relation indicating that offset happens during timespan.
offset_happens_when_timespan_starts	Makes time relation indicating that offset happens when timespan starts.
offset_happens_when_timespan_stops	Makes time relation indicating that offset happens when timespan stops.
timespan_2_contains_timespan_1_improperly	Makes time relation indicating that timespan_2 contains timespan_1 improperly.
timespan_2_curtails_timespan_1	Makes time relation indicating that timespan_2 curtails timespan_1.
timespan_2_delays_timespan_1	Makes time relation indicating that timespan_2 delays timespan_1.
timespan_2_happens_during_timespan_1	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_intersects_timespan_1	Makes time relation indicating that timespan_2 intersects timespan_1.
timespan_2_is_congruent_to_timespan_1	Makes time relation indicating that timespan_2 is congruent to timespan_1.
timespan_2_overlaps_all_of_timespan_1	Makes time relation indicating that timespan_2 overlaps all of timespan_1.
timespan_2_overlaps_only_start_of_timespan_1	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_overlaps_only_stop_of_timespan_1	Makes time relation indicating that timespan_2 overlaps only stop of timespan_1.
timespan_2_overlaps_start_of_timespan_1	Makes time relation indicating that timespan_2 overlaps start of timespan_1.
timespan_2_overlaps_stop_of_timespan_1	Make time relation indicating that timespan_2 overlaps stop of timespan_1.
timespan_2_starts_after_timespan_1_starts	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_starts_after_timespan_1_stops	Makes time relation indicating that timespan_2 starts after timespan_1 stops.
timespan_2_starts_before_timespan_1_starts	Makes time relation indicating that timespan_2 starts before timespan_1 starts.
timespan_2_starts_before_timespan_1_stops	Makes time relation indicating that timespan_2 starts before timespan_1 stops.
timespan_2_starts_during_timespan_1	Makes time relation indicating that timespan_2 starts during timespan_1.
timespan_2_starts_when_timespan_1_starts	Makes time relation indicating that timespan_2 starts when timespan_1 starts.
timespan_2_starts_when_timespan_1_stops	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_stops_after_timespan_1_starts	Makes time relation indicating that timespan_2 stops after timespan_1 starts.
timespan_2_stops_after_timespan_1_stops	Makes time relation indicating that timespan_2 stops after timespan_1 stops.
timespan_2_stops_before_timespan_1_starts	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_stops_before_timespan_1_stops	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_stops_during_timespan_1	Makes time relation indicating that timespan_2 stops during timespan_1.
timespan_2_stops_when_timespan_1_starts	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_stops_when_timespan_1_stops	Makes time relation indicating that timespan_2 happens during timespan_1.
timespan_2_trisects_timespan_1	Makes time relation indicating that timespan_2 trisects timespan_1.

---

Time relations

CompoundInequality	Compound time-relation inequality.
OffsetTimespanTimeRelation	Offfset vs.
TimeRelation	Time relation.
TimespanInequality	Timespan inequality.
TimespanTimespanTimeRelation	Timespan vs.

---

Timespans

AnnotatedTimespan	Annotated timespan.
Timespan	Timespan.
TimespanList	Timespan list.