Previous Topic: Local Form and Behavior

Next Topic: Constraints

Named Values

It is possible to specify a list of names corresponding to particular bit positions, starting from zero. For example:

{ FLAG1(0), ALLSET (1), ...}

It is possible to use a list of these names, preceded by a plus or minus signs, to indicate set or not set as external form input for the bit string component. When output the names of the set bits, separated by plus signs are returned, for example:

+FLAG1+ALLSET ...