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:
staticTemplate:
Term1<Term2Mode and number of proofs:
+term< +term - zero_or_one(=<)/2¶
True if Term1 is less or equal than Term2.
Compilation flags:
staticTemplate:
Term1=<Term2Mode and number of proofs:
+term=< +term - zero_or_one(>)/2¶
True if Term1 is greater than Term2.
Compilation flags:
staticTemplate:
Term1>Term2Mode and number of proofs:
+term> +term - zero_or_one(>=)/2¶
True if Term1 is equal or grater than Term2.
Compilation flags:
staticTemplate:
Term1>=Term2Mode and number of proofs:
+term>= +term - zero_or_one(=:=)/2¶
True if Term1 is equal to Term2.
Compilation flags:
staticTemplate:
Term1=:=Term2Mode and number of proofs:
+term=:= +term - zero_or_one(=\=)/2¶
True if Term1 is not equal to Term2.
Compilation flags:
staticTemplate:
Term1=\=Term2Mode and number of proofs:
+term=\= +term - zero_or_oneProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)