Generated on Sat Feb 7 2015 02:01:56 for Gecode by doxygen 1.8.9.1
Test::Int::Dom Namespace Reference

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
 

Detailed Description

Tests for domain constraints