up previous next
and    --    boolean "and" operator


Syntax
A and B
where A, B: BOOL; return BOOL

Description
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.

Example
/**/  A := -1;
/**/  A >= 0 and FloorSqrt(A) < 10;  --> calls FloorSqrt only if A >= 0
false

See Also