object

# `interval`

Basic temporal interval relations. An interval is represented by a compound term, `i/2`, with two ground arguments, the start and end points.

Author: Paulo Moura
Version: 1:2:0
Date: 2019-05-21
Compilation flags:
`static, context_switching_calls`
Implements:
`public` intervalp
Aliases:
`intervalp` `before/2` as `b/2`
`intervalp` `after/2` as `bi/2`
`intervalp` `meets/2` as `m/2`
`intervalp` `met_by/2` as `mi/2`
`intervalp` `overlaps/2` as `o/2`
`intervalp` `overlapped_by/2` as `oi/2`
`intervalp` `starts/2` as `s/2`
`intervalp` `started_by/2` as `si/2`
`intervalp` `during/2` as `d/2`
`intervalp` `contains/2` as `di/2`
`intervalp` `contains/2` as `f/2`
`intervalp` `finished_by/2` as `fi/2`
`intervalp` `equal/2` as `eq/2`
Remarks:
(none)
Inherited public predicates:
after/2 before/2 contains/2 during/2 equal/2 finished_by/2 finishes/2 meets/2 met_by/2 new/3 overlapped_by/2 overlaps/2 started_by/2 starts/2 valid/1

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)