protocol
proto_hierarchyp¶
Prototype hierarchy protocol.
Author: Paulo Moura
Version: 1:1:0
Date: 2006-02-20
Compilation flags:
staticExtends:
public hierarchypRemarks:
(none)
Inherited public predicates:
Public predicates¶
parent/1¶
Returns, by backtracking, all object parents.
Compilation flags:
staticTemplate:
parent(Parent)Mode and number of proofs:
parent(?object) - zero_or_moreparents/1¶
List of all object parents.
Compilation flags:
staticTemplate:
parents(Parents)Mode and number of proofs:
parents(-list) - oneextension/1¶
Returns, by backtracking, all object direct descendants.
Compilation flags:
staticTemplate:
extension(Extension)Mode and number of proofs:
extension(?object) - zero_or_moreextensions/1¶
List of all object direct descendants.
Compilation flags:
staticTemplate:
extensions(Extensions)Mode and number of proofs:
extensions(-list) - oneProtected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)