Table 1 Partitions in BETA
Characteristic | Example | Blocks/values | |||||
|---|---|---|---|---|---|---|---|
Equals to (ECS) | E a =E b | E a =E b | E a /= E b | – | – | – | – |
Is boolean (ECS/BVS) | v∈BOOL | v∈BOOL | – | – | – | – | – |
Is natural number (BVS) | v∈N A T | v=−1 | v=0 | v=1 | v=MAX−1 | v=MAX | v=MAX+1 |
Characteristic | Example | Blocks/values | |||||
|---|---|---|---|---|---|---|---|
Equals to (ECS) | E a =E b | E a =E b | E a /= E b | – | – | – | – |
Is boolean (ECS/BVS) | v∈BOOL | v∈BOOL | – | – | – | – | – |
Is natural number (BVS) | v∈N A T | v=−1 | v=0 | v=1 | v=MAX−1 | v=MAX | v=MAX+1 |