Standards /

WCPS-Manual / unaryInducedExpr

The unaryInducedExpr element specifies a unary induced operation, i.e., an operation where only one coverage argument occurs.

Note: The term "unary" refers only to coverage arguments; it is well possible that further non-coverage parameters occur, such as an integer number indicating the shift distance in a bit() operation.

A unaryInducedExpr is either a unaryArithmeticExpr or exponentialExpr or trigonometricExpr (in which case it evaluates to a coverage with a numeric range type), a boolExpr (in which case it evaluates to a Boolean expression), a castExpr (in which case it evaluates to a coverage with unchanged values, but another range type), or a fieldExpr (in which case a range field selection is performed).