protocol

proto_hierarchyp

Prototype hierarchy protocol.

author:
Paulo Moura
version:
1.1
date:
2006/2/20
compilation flags:
static
extends:
public hierarchyp

Public interface

parent/1

Returns, by backtracking, all object parents.

compilation flags:
static
template:
parent(Parent)
mode – number of proofs:
parent(?object) – zero_or_more

parents/1

List of all object parents.

compilation flags:
static
template:
parents(Parents)
mode – number of proofs:
parents(-list) – one

extension/1

Returns, by backtracking, all object direct descendants.

compilation flags:
static
template:
extension(Extension)
mode – number of proofs:
extension(?object) – zero_or_more

extensions/1

List of all object direct descendants.

compilation flags:
static
template:
extensions(Extensions)
mode – number of proofs:
extensions(-list) – one

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)