All arguments are assumed to be of the same type.
(and [B0 = BOOL] ... [BN = BOOL])
Standard conjunction (minimum of 2 arguments).
(or [B0 = BOOL] ... [BN = BOOL])
Standard disjunction (minimum of 2 arguments).
(not [BOOL])
Standard negation.
(implies [B0 = BOOL] [B1 = BOOL])
Standard implication.
(one_in [B0 = BOOL] ... [BN = BOOL])
true if, and only if, exactly one of the operands is true. There needs to be at least one argument.
(= [C0 = COMPUTATION*] ... [CN = COMPUTATION*])
True if, and only if, all operands are equal. Takes at least 2 arguments.
(< [C0 = COMPARABLE] [C1 = COMPARABLE])
True if, and only if, C0
is strictly lower than C1
.
(=< [C0 = COMPARABLE] [C1 = COMPARABLE])
True if, and only if, C0
is lower or equal to/than C1
.
(> [C0 = COMPARABLE] [C1 = COMPARABLE])
True if, and only if, C0
is strictly higher than C1
.
(>= [C0 = COMPARABLE] [C1 = COMPARABLE])
True if, and only if, C0
is higher or equal to/than C1
.