Generated on Thu Apr 11 14:00:17 2019 for Gecode by doxygen 1.6.3

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