... | @@ -277,7 +277,7 @@ region1 = { label = IsDigitLabel, lb = '0', ub = '9' } |
... | @@ -277,7 +277,7 @@ region1 = { label = IsDigitLabel, lb = '0', ub = '9' } |
|
region2 = { label = IsLower, lb = 'a', ub = 'f' }
|
|
region2 = { label = IsLower, lb = 'a', ub = 'f' }
|
|
region3 = { label = IsUpper, lb = 'A', ub = 'F' }
|
|
region3 = { label = IsUpper, lb = 'A', ub = 'F' }
|
|
```
|
|
```
|
|
Note that the regions don't have to be consecutive among themselves, only within. But if they are this provides us with more opportunities for better plans -- we explore this below.
|
|
Note that the regions don't have to be consecutive among themselves, only within. But if they are this provides us with more opportunities for better plans -- we explore this below. Also note that we impose no restriction on the number of labels, only on the number of regions. The label for region2 and region3 could for example have been the same and we also take advantage of such happy coincidences as we will see below.
|
|
|
|
|
|
This is then compiled into the following:
|
|
This is then compiled into the following:
|
|
```
|
|
```
|
... | | ... | |