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