protocol
Comparing protocol using overloading of standard operators.
Paulo Moura
1.0
2000/7/24
static
(no dependencies on other files)
True if Term1 is less than Term2.
static
Term1<Term2
+term< +term – zero_or_one
True if Term1 is less or equal than Term2.
static
Term1=<Term2
+term=< +term – zero_or_one
True if Term1 is greater than Term2.
static
Term1>Term2
+term> +term – zero_or_one
True if Term1 is equal or grater than Term2.
static
Term1>=Term2
+term>= +term – zero_or_one
True if Term1 is equal to Term2.
static
Term1=:=Term2
+term=:= +term – zero_or_one
True if Term1 is not equal to Term2.
static
Term1=\=Term2
+term=\= +term – zero_or_one
(none)
(none)