| Did you know ... | Search Documentation: |
 | Pack logtalk -- logtalk-3.86.0/docs/_sources/intervalp_0.rst.txt |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
.. index:: intervalp .. _intervalp/0:
.. rst-class:: right
protocol
intervalp
Basic temporal interval relations protocol (based on James F. Allen Interval Algebra work).
| Availability:
| logtalk_load(intervals(loader))
| Author: Paulo Moura | Version: 1:1:0 | Date: 2014-04-26
| Compilation flags:
| static
| Dependencies: | (none)
| Remarks: | (none)
| Inherited public predicates: | (none)
.. contents:: :local: :backlinks: top
Public predicates
.. index:: new/3 .. _intervalp/0::new/3:
new/3 ^^^^^^^^^
Constructs a new interval given start and end points. The start point must strictly precede the end point.
| Compilation flags:
| static
| Template:
| new(Start,End,Interval)
| Mode and number of proofs:
| new(@ground,@ground,-interval) - zero_or_one
.. index:: valid/1 .. _intervalp/0::valid/1:
valid/1 ^^^^^^^^^^^
True if Interval is a valid interval.
| Compilation flags:
| static
| Template:
| valid(Interval)
| Mode and number of proofs:
| valid(@interval) - zero_or_one
.. index:: before/2 .. _intervalp/0::before/2:
before/2 ^^^^^^^^^^^^
True if Interval1 takes place before Interval2.
| Compilation flags:
| static
| Template:
| before(Interval1,Interval2)
| Mode and number of proofs:
| before(@interval,@interval) - zero_or_one
.. index:: after/2 .. _intervalp/0::after/2:
after/2 ^^^^^^^^^^^
True if Interval1 takes place after Interval2.
| Compilation flags:
| static
| Template:
| after(Interval1,Interval2)
| Mode and number of proofs:
| after(@interval,@interval) - zero_or_one
.. index:: meets/2 .. _intervalp/0::meets/2:
meets/2 ^^^^^^^^^^^
True if Interval1 meets Interval2.
| Compilation flags:
| static
| Template:
| meets(Interval1,Interval2)
| Mode and number of proofs:
| meets(@interval,@interval) - zero_or_one
.. index:: met_by/2 .. _intervalp/0::met_by/2:
met_by/2 ^^^^^^^^^^^^
True if Interval1 is met by Interval2.
| Compilation flags:
| static
| Template:
| met_by(Interval1,Interval2)
| Mode and number of proofs:
| met_by(@interval,@interval) - zero_or_one
.. index:: overlaps/2 .. _intervalp/0::overlaps/2:
overlaps/2 ^^^^^^^^^^^^^^
True if Interval1 overlaps with Interval2.
| Compilation flags:
| static
| Template:
| overlaps(Interval1,Interval2)
| Mode and number of proofs:
| overlaps(@interval,@interval) - zero_or_one
.. index:: overlapped_by/2 .. _intervalp/0::overlapped_by/2:
overlapped_by/2 ^^^^^^^^^^^^^^^^^^^
True if Interval1 is overlapped by Interval2.
| Compilation flags:
| static
| Template:
| overlapped_by(Interval1,Interval2)
| Mode and number of proofs:
| overlapped_by(@interval,@interval) - zero_or_one
.. index:: starts/2 .. _intervalp/0::starts/2:
starts/2 ^^^^^^^^^^^^
True if Interval1 starts Interval2.
| Compilation flags:
| static
| Template:
| starts(Interval1,Interval2)
| Mode and number of proofs:
| starts(@interval,@interval) - zero_or_one
.. index:: started_by/2 .. _intervalp/0::started_by/2:
started_by/2 ^^^^^^^^^^^^^^^^
True if Interval1 is started by Interval2.
| Compilation flags:
| static
| Template:
| started_by(Interval1,Interval2)
| Mode and number of proofs:
| started_by(@interval,@interval) - zero_or_one
.. index:: during/2 .. _intervalp/0::during/2:
during/2 ^^^^^^^^^^^^
True if Interval1 occurs during Interval2.
| Compilation flags:
| static
| Template:
| during(Interval1,Interval2)
| Mode and number of proofs:
| during(@interval,@interval) - zero_or_one
.. index:: contains/2 .. _intervalp/0::contains/2:
contains/2 ^^^^^^^^^^^^^^
True if Interval1 contains Interval2.
| Compilation flags:
| static
| Template:
| contains(Interval1,Interval2)
| Mode and number of proofs:
| contains(@interval,@interval) - zero_or_one
.. index:: finishes/2 .. _intervalp/0::finishes/2:
finishes/2 ^^^^^^^^^^^^^^
True if Interval1 finishes Interval2.
| Compilation flags:
| static
| Template:
| finishes(Interval1,Interval2)
| Mode and number of proofs:
| finishes(@interval,@interval) - zero_or_one
.. index:: finished_by/2 .. _intervalp/0::finished_by/2:
finished_by/2 ^^^^^^^^^^^^^^^^^
True if Interval1 is finished by Interval2.
| Compilation flags:
| static
| Template:
| finished_by(Interval1,Interval2)
| Mode and number of proofs:
| finished_by(@interval,@interval) - zero_or_one
.. index:: equal/2 .. _intervalp/0::equal/2:
equal/2 ^^^^^^^^^^^
True if Interval1 is equal to Interval2.
| Compilation flags:
| static
| Template:
| equal(Interval1,Interval2)
| Mode and number of proofs:
| equal(@interval,@interval) - zero_or_one
Protected predicates
(none)
Private predicates
(none)
Operators
(none)
.. seealso::
:ref:`interval <interval/0>`