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