Domain | LIGHT_VALUES = { 1 10000 } NAT |
---|
Intention | : | This domain contains the possible light intensity values in lux that are considered in this problem specification. |
Domain | BINARY = { 0, 1 } NAT |
---|
Intention | : | This domain contains the values 0 and 1. |
Domain | PERCENT = { 0 100 } NAT |
---|
Intention | : | This domain contains the natural numbers between 0 to 100. |