protocol
comparingp¶
Comparing protocol using overloading of standard operators.
Author: Paulo Moura
Version: 1:0:0
Date: 2000-07-24
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
(<)/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_oneProtected predicates¶
(none)
Private predicates¶
(none)