protocol
comparingp
¶
Comparing protocol using overloading of standard operators.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
static
(no dependencies on other entities)
Public interface¶
(<)/2
¶
True if Term1 is less than Term2.
Compilation flags:
static
Template:
Term1<Term2
Mode and number of proofs:
+term< +term
- zero_or_one
(=<)/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
(>)/2
¶
True if Term1 is greater than Term2.
Compilation flags:
static
Template:
Term1>Term2
Mode and number of proofs:
+term> +term
- zero_or_one
(>=)/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
(=:=)/2
¶
True if Term1 is equal to Term2.
Compilation flags:
static
Template:
Term1=:=Term2
Mode and number of proofs:
+term=:= +term
- zero_or_one
(=\=)/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 interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)