up previous next
and --
boolean "and" operator
|
A and B
where A, B: BOOL; return BOOL |
This operator represents the logical conjunction of
A and
B.
CoCoA first evaluates
A; if that gives
false then the result
is
false, and
B is not evaluated. Otherwise if
A gives
true
then
B is evaluated, and its value is the final result.
/**/ A := -1;
/**/ A >= 0 and FloorSqrt(A) < 10; --> calls FloorSqrt only if A >= 0
false
|