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_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 predicates
(none)
Private predicates
(none)
Operators
(none)