protocol
proto_hierarchyp¶
Prototype hierarchy protocol.
Author: Paulo Moura
Version: 1.1
Date: 2006/2/20
Compilation flags:
staticExtends:
public hierarchypRemarks:
(none)
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¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)