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 |