Timepoints -- Durations -- Interval -- Special Cases
Timepoint + Duration --> Timepoint Timepoint - Duration --> Timepoint Duration + Timepoint --> Undefined Duration - Timepoint --> Undefined Timepoint + Timepoint --> Undefined Timepoint - Timepoint --> Duration
Duration + Duration --> Duration Duration - Duration --> Duration Duration * Integer --> Duration Integer * Duration --> Duration Duration(∞) * Integer --> Duration(∞) Duration(∞)/Integer --> Duration(∞)
//These can be defined by either of 2 Timepoints or a Timepoint and Duration Timeinterval intersects Timeinterval --> bool Timeinterval intersection Timeinterval --> Timeperiod //results undefined if no intersection Timeinterval contains Timepoint --> bool Timeinterval contains Timeinterval --> bool Timeinterval shift Duration --> shift start and end by duration amount
Timepoint(NADT) + Duration --> Timepoint(NADT)
Timepoint(∞) + Duration --> Timepoint(∞)
Timepoint + Duration(∞) --> Timepoint(∞)
Timepoint - Duration(∞) --> Timepoint(-∞)
∞ は ∞ にすべきか ∞ にすべきか…