protocol
Basic temporal interval relations protocol (based on James F. Allen Interval Algebra work).
Paulo Moura
1.1
2014/4/26
static
(no dependencies on other files)
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
True if Interval is a valid interval.
static
valid(Interval)
valid(@interval) – zero_or_one
True if Interval1 takes place before Interval2.
static
before(Interval1,Interval2)
before(@interval,@interval) – zero_or_one
True if Interval1 takes place after Interval2.
static
after(Interval1,Interval2)
after(@interval,@interval) – zero_or_one
True if Interval1 meets Interval2.
static
meets(Interval1,Interval2)
meets(@interval,@interval) – zero_or_one
True if Interval1 is met by Interval2.
static
met_by(Interval1,Interval2)
met_by(@interval,@interval) – zero_or_one
True if Interval1 overlaps with Interval2.
static
overlaps(Interval1,Interval2)
overlaps(@interval,@interval) – zero_or_one
True if Interval1 is overlapped by Interval2.
static
overlapped_by(Interval1,Interval2)
overlapped_by(@interval,@interval) – zero_or_one
True if Interval1 starts Interval2.
static
starts(Interval1,Interval2)
starts(@interval,@interval) – zero_or_one
True if Interval1 is started by Interval2.
static
started_by(Interval1,Interval2)
started_by(@interval,@interval) – zero_or_one
True if Interval1 occurs during Interval2.
static
during(Interval1,Interval2)
during(@interval,@interval) – zero_or_one
True if Interval1 contains Interval2.
static
contains(Interval1,Interval2)
contains(@interval,@interval) – zero_or_one
True if Interval1 finishes Interval2.
static
finishes(Interval1,Interval2)
finishes(@interval,@interval) – zero_or_one
True if Interval1 is finished by Interval2.
static
finished_by(Interval1,Interval2)
finished_by(@interval,@interval) – zero_or_one
True if Interval1 is equal to Interval2.
static
equal(Interval1,Interval2)
equal(@interval,@interval) – zero_or_one
(none)
(none)