.. index:: comparingp
.. _comparingp/0:

.. rst-class:: right

**protocol**

``comparingp``
==============

Comparing protocol using overloading of standard operators.

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

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


| **Dependencies:**
|   (none)


| **Remarks:**
|    (none)

| **Inherited public predicates:**
|    (none)

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

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

.. raw:: html

   <div id="(<)/2"> </div>

.. index:: (<)/2
.. _comparingp/0::(<)/2:

``(<)/2``
^^^^^^^^^

True if ``Term1`` is less than ``Term2``.

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

| **Template:**
|    ``Term1<Term2``
| **Mode and number of proofs:**
|    ``+term< +term`` - ``zero_or_one``


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

.. raw:: html

   <div id="(=<)/2"> </div>

.. index:: (=<)/2
.. _comparingp/0::(=<)/2:

``(=<)/2``
^^^^^^^^^^

True if ``Term1`` is less or equal than ``Term2``.

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

| **Template:**
|    ``Term1=<Term2``
| **Mode and number of proofs:**
|    ``+term=< +term`` - ``zero_or_one``


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

.. raw:: html

   <div id="(>)/2"> </div>

.. index:: (>)/2
.. _comparingp/0::(>)/2:

``(>)/2``
^^^^^^^^^

True if ``Term1`` is greater than ``Term2``.

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

| **Template:**
|    ``Term1>Term2``
| **Mode and number of proofs:**
|    ``+term> +term`` - ``zero_or_one``


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

.. raw:: html

   <div id="(>=)/2"> </div>

.. index:: (>=)/2
.. _comparingp/0::(>=)/2:

``(>=)/2``
^^^^^^^^^^

True if ``Term1`` is equal or grater than ``Term2``.

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

| **Template:**
|    ``Term1>=Term2``
| **Mode and number of proofs:**
|    ``+term>= +term`` - ``zero_or_one``


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

.. raw:: html

   <div id="(=:=)/2"> </div>

.. index:: (=:=)/2
.. _comparingp/0::(=:=)/2:

``(=:=)/2``
^^^^^^^^^^^

True if ``Term1`` is equal to ``Term2``.

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

| **Template:**
|    ``Term1=:=Term2``
| **Mode and number of proofs:**
|    ``+term=:= +term`` - ``zero_or_one``


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

.. raw:: html

   <div id="(=\=)/2"> </div>

.. index:: (=\=)/2
.. _comparingp/0::(=\=)/2:

``(=\=)/2``
^^^^^^^^^^^

True if ``Term1`` is not equal to ``Term2``.

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

| **Template:**
|    ``Term1=\=Term2``
| **Mode and number of proofs:**
|    ``+term=\= +term`` - ``zero_or_one``


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

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

(none)

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

(none)

Operators
---------

(none)

