Generated on Fri Oct 19 11:26:38 2018 for Gecode by doxygen 1.6.3

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_eq1 (SRT_EQ, 1)
DomRange _domrange_lq1 (SRT_LQ, 1)
DomRange _domrange_le1 (SRT_LE, 1)
DomRange _domrange_gq1 (SRT_GQ, 1)
DomRange _domrange_gr1 (SRT_GR, 1)
DomRange _domrange_nq1 (SRT_NQ, 1)
DomRange _domrange_sub1 (SRT_SUB, 1)
DomRange _domrange_sup1 (SRT_SUP, 1)
DomRange _domrange_disj1 (SRT_DISJ, 1)
DomRange _domrange_cmpl1 (SRT_CMPL, 1)
DomRange _domrange_eq2 (SRT_EQ, 2)
DomRange _domrange_lq2 (SRT_LQ, 2)
DomRange _domrange_le2 (SRT_LE, 2)
DomRange _domrange_gq2 (SRT_GQ, 2)
DomRange _domrange_gr2 (SRT_GR, 2)
DomRange _domrange_nq2 (SRT_NQ, 2)
DomRange _domrange_sub2 (SRT_SUB, 2)
DomRange _domrange_sup2 (SRT_SUP, 2)
DomRange _domrange_disj2 (SRT_DISJ, 2)
DomRange _domrange_cmpl2 (SRT_CMPL, 2)
DomIntRange _domintrange_eq1 (SRT_EQ, 1)
DomIntRange _domintrange_lq1 (SRT_LQ, 1)
DomIntRange _domintrange_le1 (SRT_LE, 1)
DomIntRange _domintrange_gq1 (SRT_GQ, 1)
DomIntRange _domintrange_gr1 (SRT_GR, 1)
DomIntRange _domintrange_nq1 (SRT_NQ, 1)
DomIntRange _domintrange_sub1 (SRT_SUB, 1)
DomIntRange _domintrange_sup1 (SRT_SUP, 1)
DomIntRange _domintrange_disj1 (SRT_DISJ, 1)
DomIntRange _domintrange_cmpl1 (SRT_CMPL, 1)
DomIntRange _domintrange_eq2 (SRT_EQ, 2)
DomIntRange _domintrange_lq2 (SRT_LQ, 2)
DomIntRange _domintrange_le2 (SRT_LE, 2)
DomIntRange _domintrange_gq2 (SRT_GQ, 2)
DomIntRange _domintrange_gr2 (SRT_GR, 2)
DomIntRange _domintrange_nq2 (SRT_NQ, 2)
DomIntRange _domintrange_sub2 (SRT_SUB, 2)
DomIntRange _domintrange_sup2 (SRT_SUP, 2)
DomIntRange _domintrange_disj2 (SRT_DISJ, 2)
DomIntRange _domintrange_cmpl2 (SRT_CMPL, 2)
DomInt _domint_eq1 (SRT_EQ, 1)
DomInt _domint_lq1 (SRT_LQ, 1)
DomInt _domint_le1 (SRT_LE, 1)
DomInt _domint_gq1 (SRT_GQ, 1)
DomInt _domint_gr1 (SRT_GR, 1)
DomInt _domint_nq1 (SRT_NQ, 1)
DomInt _domint_sub1 (SRT_SUB, 1)
DomInt _domint_sup1 (SRT_SUP, 1)
DomInt _domint_disj1 (SRT_DISJ, 1)
DomInt _domint_cmpl1 (SRT_CMPL, 1)
DomInt _domint_eq2 (SRT_EQ, 2)
DomInt _domint_lq2 (SRT_LQ, 2)
DomInt _domint_le2 (SRT_LE, 2)
DomInt _domint_gq2 (SRT_GQ, 2)
DomInt _domint_gr2 (SRT_GR, 2)
DomInt _domint_nq2 (SRT_NQ, 2)
DomInt _domint_sub2 (SRT_SUB, 2)
DomInt _domint_sup2 (SRT_SUP, 2)
DomInt _domint_disj2 (SRT_DISJ, 2)
DomInt _domint_cmpl2 (SRT_CMPL, 2)
DomDom _domdom_eq1 (SRT_EQ, 1)
DomDom _domdom_lq1 (SRT_LQ, 1)
DomDom _domdom_le1 (SRT_LE, 1)
DomDom _domdom_gq1 (SRT_GQ, 1)
DomDom _domdom_gr1 (SRT_GR, 1)
DomDom _domdom_nq1 (SRT_NQ, 1)
DomDom _domdom_sub1 (SRT_SUB, 1)
DomDom _domdom_sup1 (SRT_SUP, 1)
DomDom _domdom_disj1 (SRT_DISJ, 1)
DomDom _domdom_cmpl1 (SRT_CMPL, 1)
DomDom _domdom_eq2 (SRT_EQ, 2)
DomDom _domdom_lq2 (SRT_LQ, 2)
DomDom _domdom_le2 (SRT_LE, 2)
DomDom _domdom_gq2 (SRT_GQ, 2)
DomDom _domdom_gr2 (SRT_GR, 2)
DomDom _domdom_nq2 (SRT_NQ, 2)
DomDom _domdom_sub2 (SRT_SUB, 2)
DomDom _domdom_sup2 (SRT_SUP, 2)
DomDom _domdom_disj2 (SRT_DISJ, 2)
DomDom _domdom_cmpl2 (SRT_CMPL, 2)
CardRange _cr1 (1)
CardRange _cr2 (2)

Detailed Description

Tests for domain constraints