Test::Int::Dom Namespace Reference

---

Detailed Description

Tests for domain constraints.

Classes
class	DomRange
	Test for domain constraint (range). More...
class	DomDom
	Test for domain constraint (full integer set). More...
Variables
const int	r [4][2]
Gecode::IntSet	d (r, 4)
DomRange	dr1 (1)
DomRange	dr3 (3)
DomDom	dd1 (1)
DomDom	dd3 (3)