Standards /

WCPS-Manual / boolExpr

The boolExpr element specifies a unary induced operation. The only operation available is logical negation (logical "not").

Let

C1 be a coverageExpr
where

for all fields r ∈ rangeFieldNames(C1): r = Boolean.

Then,

for any coverageExpr C2
where C2 is one of

Cnot = not C1
Cbit = bit( C1, n )

where n is an expression evaluating to a nonnegative integer value

C2 is defined as follows:

Example

The following expression inverts all (assumed: Boolean) range field values of coverage C:

not C