.. index:: class_hierarchyp
.. _class_hierarchyp/0:

.. rst-class:: right

**protocol**

``class_hierarchyp``
====================

Class hierarchy protocol.

| **Author:** Paulo Moura
| **Version:** 1:0:0
| **Date:** 2000-07-24

| **Compilation flags:**
|    ``static``


| **Extends:**
|    ``public`` :ref:`hierarchyp <hierarchyp/0>`

| **Remarks:**
|    (none)

| **Inherited public predicates:**
|     :ref:`hierarchyp/0::ancestor/1`  :ref:`hierarchyp/0::ancestors/1`  :ref:`hierarchyp/0::descendant/1`  :ref:`hierarchyp/0::descendants/1`  :ref:`hierarchyp/0::leaf/1`  :ref:`hierarchyp/0::leaves/1`  

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

Public predicates
-----------------

.. index:: class/1
.. _class_hierarchyp/0::class/1:

``class/1``
^^^^^^^^^^^

Returns, by backtracking, all object classes.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``class(Class)``
| **Mode and number of proofs:**
|    ``class(?object)`` - ``zero_or_more``


------------

.. index:: classes/1
.. _class_hierarchyp/0::classes/1:

``classes/1``
^^^^^^^^^^^^^

List of all object classes.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``classes(Classes)``
| **Mode and number of proofs:**
|    ``classes(-list)`` - ``one``


------------

.. index:: instance/1
.. _class_hierarchyp/0::instance/1:

``instance/1``
^^^^^^^^^^^^^^

Returns, by backtracking, all class instances.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``instance(Instance)``
| **Mode and number of proofs:**
|    ``instance(?object)`` - ``zero_or_more``


------------

.. index:: instances/1
.. _class_hierarchyp/0::instances/1:

``instances/1``
^^^^^^^^^^^^^^^

List of all class instances.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``instances(Instances)``
| **Mode and number of proofs:**
|    ``instances(-list)`` - ``one``


------------

.. index:: subclass/1
.. _class_hierarchyp/0::subclass/1:

``subclass/1``
^^^^^^^^^^^^^^

Returns, by backtracking, all class subclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``subclass(Subclass)``
| **Mode and number of proofs:**
|    ``subclass(?object)`` - ``zero_or_more``


------------

.. index:: subclasses/1
.. _class_hierarchyp/0::subclasses/1:

``subclasses/1``
^^^^^^^^^^^^^^^^

List of all class subclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``subclasses(Subclasses)``
| **Mode and number of proofs:**
|    ``subclasses(-list)`` - ``one``


------------

.. index:: superclass/1
.. _class_hierarchyp/0::superclass/1:

``superclass/1``
^^^^^^^^^^^^^^^^

Returns, by backtracking, all class superclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``superclass(Superclass)``
| **Mode and number of proofs:**
|    ``superclass(?object)`` - ``zero_or_more``


------------

.. index:: superclasses/1
.. _class_hierarchyp/0::superclasses/1:

``superclasses/1``
^^^^^^^^^^^^^^^^^^

List of all class superclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``superclasses(Superclasses)``
| **Mode and number of proofs:**
|    ``superclasses(-list)`` - ``one``


------------

.. index:: leaf_instance/1
.. _class_hierarchyp/0::leaf_instance/1:

``leaf_instance/1``
^^^^^^^^^^^^^^^^^^^

Returns, by backtracking, all class leaf instances.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``leaf_instance(Leaf)``
| **Mode and number of proofs:**
|    ``leaf_instance(?object)`` - ``zero_or_more``


------------

.. index:: leaf_instances/1
.. _class_hierarchyp/0::leaf_instances/1:

``leaf_instances/1``
^^^^^^^^^^^^^^^^^^^^

List of all class leaf instances.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``leaf_instances(Leaves)``
| **Mode and number of proofs:**
|    ``leaf_instances(-list)`` - ``one``


------------

.. index:: leaf_class/1
.. _class_hierarchyp/0::leaf_class/1:

``leaf_class/1``
^^^^^^^^^^^^^^^^

Returns, by backtracking, all class leaf subclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``leaf_class(Leaf)``
| **Mode and number of proofs:**
|    ``leaf_class(?object)`` - ``zero_or_more``


------------

.. index:: leaf_classes/1
.. _class_hierarchyp/0::leaf_classes/1:

``leaf_classes/1``
^^^^^^^^^^^^^^^^^^

List of all class leaf leaf subclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``leaf_classes(Leaves)``
| **Mode and number of proofs:**
|    ``leaf_classes(-list)`` - ``one``


------------

.. index:: descendant_instance/1
.. _class_hierarchyp/0::descendant_instance/1:

``descendant_instance/1``
^^^^^^^^^^^^^^^^^^^^^^^^^

Returns, by backtracking, all class descendant instances.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``descendant_instance(Descendant)``
| **Mode and number of proofs:**
|    ``descendant_instance(?object)`` - ``zero_or_more``


------------

.. index:: descendant_instances/1
.. _class_hierarchyp/0::descendant_instances/1:

``descendant_instances/1``
^^^^^^^^^^^^^^^^^^^^^^^^^^

List of all class descendant instances.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``descendant_instances(Descendants)``
| **Mode and number of proofs:**
|    ``descendant_instances(-list)`` - ``one``


------------

.. index:: descendant_class/1
.. _class_hierarchyp/0::descendant_class/1:

``descendant_class/1``
^^^^^^^^^^^^^^^^^^^^^^

Returns, by backtracking, all class descendant subclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``descendant_class(Descendant)``
| **Mode and number of proofs:**
|    ``descendant_class(?object)`` - ``zero_or_more``


------------

.. index:: descendant_classes/1
.. _class_hierarchyp/0::descendant_classes/1:

``descendant_classes/1``
^^^^^^^^^^^^^^^^^^^^^^^^

List of all class descendant subclasses.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``descendant_classes(Descendants)``
| **Mode and number of proofs:**
|    ``descendant_classes(-list)`` - ``one``


------------

Protected predicates
--------------------

(no local declarations; see entity ancestors if any)

Private predicates
------------------

(no local declarations; see entity ancestors if any)

Operators
---------

(none)

.. seealso::

   :ref:`class_hierarchy <class_hierarchy/0>`

