
Tests for domain constraints More...
Classes | |
| class | DomDom |
| Test for domain constraint (full integer set) More... | |
| 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... | |
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 |
Tests for domain constraints
| const int Test::Int::Dom::r[4][2] |
| Gecode::IntSet Test::Int::Dom::d(r, 4) | ( | r | , |
| 4 | ) |
| DomInt Test::Int::Dom::di1(1) | ( | 1 | ) |
| DomInt Test::Int::Dom::di3(3) | ( | 3 | ) |
| DomRange Test::Int::Dom::dr1(1) | ( | 1 | ) |
| DomRange Test::Int::Dom::dr3(3) | ( | 3 | ) |
| DomDom Test::Int::Dom::dd1(1) | ( | 1 | ) |
| DomDom Test::Int::Dom::dd3(3) | ( | 3 | ) |
| DomRangeEmpty Test::Int::Dom::dre |