main page
modules
namespaces
classes
files
Gecode home
search for
Generated on Thu Mar 22 10:40:03 2012 for Gecode by
doxygen
1.6.3
Test
::
Set
::
Dom
Test::Set::Dom Namespace Reference
Tests for domain constraints
More...
Classes
class
DomRange
Test for equality with a range
More...
class
DomIntRange
Test for equality with an integer range
More...
class
DomInt
Test for equality with an integer
More...
class
DomDom
Test for equality with a domain
More...
class
CardRange
Test for cardinality range
More...
Variables
DomRange
_domrange_eq
(SRT_EQ)
DomRange
_domrange_lq
(SRT_LQ)
DomRange
_domrange_le
(SRT_LE)
DomRange
_domrange_gq
(SRT_GQ)
DomRange
_domrange_gr
(SRT_GR)
DomRange
_domrange_nq
(SRT_NQ)
DomRange
_domrange_sub
(SRT_SUB)
DomRange
_domrange_sup
(SRT_SUP)
DomRange
_domrange_disj
(SRT_DISJ)
DomRange
_domrange_cmpl
(SRT_CMPL)
DomIntRange
_domintrange_eq
(SRT_EQ)
DomIntRange
_domintrange_lq
(SRT_LQ)
DomIntRange
_domintrange_le
(SRT_LE)
DomIntRange
_domintrange_gq
(SRT_GQ)
DomIntRange
_domintrange_gr
(SRT_GR)
DomIntRange
_domintrange_nq
(SRT_NQ)
DomIntRange
_domintrange_sub
(SRT_SUB)
DomIntRange
_domintrange_sup
(SRT_SUP)
DomIntRange
_domintrange_disj
(SRT_DISJ)
DomIntRange
_domintrange_cmpl
(SRT_CMPL)
DomInt
_domint_eq
(SRT_EQ)
DomInt
_domint_lq
(SRT_LQ)
DomInt
_domint_le
(SRT_LE)
DomInt
_domint_gq
(SRT_GQ)
DomInt
_domint_gr
(SRT_GR)
DomInt
_domint_nq
(SRT_NQ)
DomInt
_domint_sub
(SRT_SUB)
DomInt
_domint_sup
(SRT_SUP)
DomInt
_domint_disj
(SRT_DISJ)
DomInt
_domint_cmpl
(SRT_CMPL)
DomDom
_domdom_eq
(SRT_EQ)
DomDom
_domdom_lq
(SRT_LQ)
DomDom
_domdom_le
(SRT_LE)
DomDom
_domdom_gq
(SRT_GQ)
DomDom
_domdom_gr
(SRT_GR)
DomDom
_domdom_nq
(SRT_NQ)
DomDom
_domdom_sub
(SRT_SUB)
DomDom
_domdom_sup
(SRT_SUP)
DomDom
_domdom_disj
(SRT_DISJ)
DomDom
_domdom_cmpl
(SRT_CMPL)
CardRange
_cardRange
Detailed Description
Tests for domain constraints