.. index:: single: interval_constraint_network .. _interval_constraint_network/0:

.. rst-class:: right

object

interval_constraint_network

Allen interval constraint-network operations built on canonical relation sets, intended for small-to-medium symbolic networks.

| Availability: | logtalk_load(intervals(loader))

| Author: Paulo Moura | Version: 1:0:0 | Date: 2026-05-13

| Compilation flags: | static, context_switching_calls

| Implements: | public :ref:`interval_constraint_network_protocol <interval_constraint_network_protocol/0>` | Uses: | :ref:`interval_relation_set <interval_relation_set/0>` | :ref:`list <list/0>`

| Remarks: | (none)

| Inherited public predicates: |  :ref:interval_constraint_network_protocol/0::consistent/1  :ref:interval_constraint_network_protocol/0::constraints/2  :ref:interval_constraint_network_protocol/0::contradiction/2  :ref:interval_constraint_network_protocol/0::contradiction_explanations/2  :ref:interval_constraint_network_protocol/0::entailment_explanations/5  :ref:interval_constraint_network_protocol/0::entails/4  :ref:interval_constraint_network_protocol/0::entails/5  :ref:interval_constraint_network_protocol/0::equivalent/2  :ref:interval_constraint_network_protocol/0::excluded/4  :ref:interval_constraint_network_protocol/0::network/1  :ref:interval_constraint_network_protocol/0::new/2  :ref:interval_constraint_network_protocol/0::nodes/2  :ref:interval_constraint_network_protocol/0::path_consistency/2  :ref:interval_constraint_network_protocol/0::possible/4  :ref:interval_constraint_network_protocol/0::propagate/2  :ref:interval_constraint_network_protocol/0::propagate/3  :ref:interval_constraint_network_protocol/0::propagation_triple/2  :ref:interval_constraint_network_protocol/0::propagation_triples/2  :ref:interval_constraint_network_protocol/0::refine/5  :ref:interval_constraint_network_protocol/0::refine_propagate/3  :ref:interval_constraint_network_protocol/0::refine_propagate/4  :ref:interval_constraint_network_protocol/0::refine_propagate/5  :ref:interval_constraint_network_protocol/0::refine_propagate/6  :ref:interval_constraint_network_protocol/0::relation/4  :ref:interval_constraint_network_protocol/0::subsumes/2  

.. contents:: :local: :backlinks: top

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)