Test::Int::Dom Namespace Reference
Tests for domain constraints More...
Classes | |
| class | DomInt |
| Test for domain constraint (integer) More... | |
| class | DomRange |
| Test for domain constraint (range) More... | |
| class | DomRangeEmpty |
| Test for domain constraint (empty range) More... | |
| class | DomDom |
| Test for domain constraint (full integer set) More... | |
Variables | |
| const int | r [4][2] |
| Gecode::IntSet | d (r, 4) |
| DomInt | di1 (1) |
| DomInt | di3 (3) |
| DomRange | dr1 (1) |
| DomRange | dr3 (3) |
| DomDom | dd1 (1) |
| DomDom | dd3 (3) |
| DomRangeEmpty | dre |
Detailed Description
Tests for domain constraints