|
|
Constraint on X | Domain of X | extra_cstr | Lost values |
X #=< 512 | 0..512 | off | none |
X #\= 10 | 0..9:11..127 | on | 128..512 |
X #=< 100 | 0..9:11..100 | off | none |
Constraint on X | Domain of X | extra_cstr | Lost values |
X #=< 512 | 0..512 | off | none |
X #\= 10 | 0..9:11..127 | on | 128..512 |
X #>= 256 | Warning: Vector too small... | on | 128..512 |