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 interval_constraint_network_protocol

Uses:

interval_relation_set

list

Remarks:

(none)

Inherited public predicates:

 consistent/1  constraints/2  contradiction/2  contradiction_explanations/2  entailment_explanations/5  entails/4  entails/5  equivalent/2  excluded/4  network/1  new/2  nodes/2  path_consistency/2  possible/4  propagate/2  propagate/3  propagation_triple/2  propagation_triples/2  refine/5  refine_propagate/3  refine_propagate/4  refine_propagate/5  refine_propagate/6  relation/4  subsumes/2

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)