protocol
intervalp
¶
Basic temporal interval relations protocol (based on James F. Allen Interval Algebra work).
static
(no dependencies on other entities)
Public interface¶
new/3
¶
Constructs a new interval given start and end points. The start point must strictly precede the end point.
static
new(Start,End,Interval)
new(@ground,@ground,-interval)
- zero_or_one
valid/1
¶
True if Interval is a valid interval.
static
valid(Interval)
valid(@interval)
- zero_or_one
before/2
¶
True if Interval1 takes place before Interval2.
static
before(Interval1,Interval2)
before(@interval,@interval)
- zero_or_one
after/2
¶
True if Interval1 takes place after Interval2.
static
after(Interval1,Interval2)
after(@interval,@interval)
- zero_or_one
meets/2
¶
True if Interval1 meets Interval2.
static
meets(Interval1,Interval2)
meets(@interval,@interval)
- zero_or_one
met_by/2
¶
True if Interval1 is met by Interval2.
static
met_by(Interval1,Interval2)
met_by(@interval,@interval)
- zero_or_one
overlaps/2
¶
True if Interval1 overlaps with Interval2.
static
overlaps(Interval1,Interval2)
overlaps(@interval,@interval)
- zero_or_one
overlapped_by/2
¶
True if Interval1 is overlapped by Interval2.
static
overlapped_by(Interval1,Interval2)
overlapped_by(@interval,@interval)
- zero_or_one
starts/2
¶
True if Interval1 starts Interval2.
static
starts(Interval1,Interval2)
starts(@interval,@interval)
- zero_or_one
started_by/2
¶
True if Interval1 is started by Interval2.
static
started_by(Interval1,Interval2)
started_by(@interval,@interval)
- zero_or_one
during/2
¶
True if Interval1 occurs during Interval2.
static
during(Interval1,Interval2)
during(@interval,@interval)
- zero_or_one
contains/2
¶
True if Interval1 contains Interval2.
static
contains(Interval1,Interval2)
contains(@interval,@interval)
- zero_or_one
finishes/2
¶
True if Interval1 finishes Interval2.
static
finishes(Interval1,Interval2)
finishes(@interval,@interval)
- zero_or_one
finished_by/2
¶
True if Interval1 is finished by Interval2.
static
finished_by(Interval1,Interval2)
finished_by(@interval,@interval)
- zero_or_one
equal/2
¶
True if Interval1 is equal to Interval2.
static
equal(Interval1,Interval2)
equal(@interval,@interval)
- zero_or_one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)