Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Test::Set::Dom Namespace Reference

Tests for domain constraints More...

Classes

class  CardRange
 Test for cardinality range More...
class  DomDom
 Test for equality with a domain More...
class  DomInt
 Test for equality with an integer More...
class  DomIntRange
 Test for equality with an integer range More...
class  DomRange
 Test for equality with a 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

Variable Documentation

◆ _domrange_eq1

DomRange Test::Set::Dom::_domrange_eq1(SRT_EQ, 1) ( SRT_EQ ,
1  )

◆ _domrange_lq1

DomRange Test::Set::Dom::_domrange_lq1(SRT_LQ, 1) ( SRT_LQ ,
1  )

◆ _domrange_le1

DomRange Test::Set::Dom::_domrange_le1(SRT_LE, 1) ( SRT_LE ,
1  )

◆ _domrange_gq1

DomRange Test::Set::Dom::_domrange_gq1(SRT_GQ, 1) ( SRT_GQ ,
1  )

◆ _domrange_gr1

DomRange Test::Set::Dom::_domrange_gr1(SRT_GR, 1) ( SRT_GR ,
1  )

◆ _domrange_nq1

DomRange Test::Set::Dom::_domrange_nq1(SRT_NQ, 1) ( SRT_NQ ,
1  )

◆ _domrange_sub1

DomRange Test::Set::Dom::_domrange_sub1(SRT_SUB, 1) ( SRT_SUB ,
1  )

◆ _domrange_sup1

DomRange Test::Set::Dom::_domrange_sup1(SRT_SUP, 1) ( SRT_SUP ,
1  )

◆ _domrange_disj1

DomRange Test::Set::Dom::_domrange_disj1(SRT_DISJ, 1) ( SRT_DISJ ,
1  )

◆ _domrange_cmpl1

DomRange Test::Set::Dom::_domrange_cmpl1(SRT_CMPL, 1) ( SRT_CMPL ,
1  )

◆ _domrange_eq2

DomRange Test::Set::Dom::_domrange_eq2(SRT_EQ, 2) ( SRT_EQ ,
2  )

◆ _domrange_lq2

DomRange Test::Set::Dom::_domrange_lq2(SRT_LQ, 2) ( SRT_LQ ,
2  )

◆ _domrange_le2

DomRange Test::Set::Dom::_domrange_le2(SRT_LE, 2) ( SRT_LE ,
2  )

◆ _domrange_gq2

DomRange Test::Set::Dom::_domrange_gq2(SRT_GQ, 2) ( SRT_GQ ,
2  )

◆ _domrange_gr2

DomRange Test::Set::Dom::_domrange_gr2(SRT_GR, 2) ( SRT_GR ,
2  )

◆ _domrange_nq2

DomRange Test::Set::Dom::_domrange_nq2(SRT_NQ, 2) ( SRT_NQ ,
2  )

◆ _domrange_sub2

DomRange Test::Set::Dom::_domrange_sub2(SRT_SUB, 2) ( SRT_SUB ,
2  )

◆ _domrange_sup2

DomRange Test::Set::Dom::_domrange_sup2(SRT_SUP, 2) ( SRT_SUP ,
2  )

◆ _domrange_disj2

DomRange Test::Set::Dom::_domrange_disj2(SRT_DISJ, 2) ( SRT_DISJ ,
2  )

◆ _domrange_cmpl2

DomRange Test::Set::Dom::_domrange_cmpl2(SRT_CMPL, 2) ( SRT_CMPL ,
2  )

◆ _domintrange_eq1

DomIntRange Test::Set::Dom::_domintrange_eq1(SRT_EQ, 1) ( SRT_EQ ,
1  )

◆ _domintrange_lq1

DomIntRange Test::Set::Dom::_domintrange_lq1(SRT_LQ, 1) ( SRT_LQ ,
1  )

◆ _domintrange_le1

DomIntRange Test::Set::Dom::_domintrange_le1(SRT_LE, 1) ( SRT_LE ,
1  )

◆ _domintrange_gq1

DomIntRange Test::Set::Dom::_domintrange_gq1(SRT_GQ, 1) ( SRT_GQ ,
1  )

◆ _domintrange_gr1

DomIntRange Test::Set::Dom::_domintrange_gr1(SRT_GR, 1) ( SRT_GR ,
1  )

◆ _domintrange_nq1

DomIntRange Test::Set::Dom::_domintrange_nq1(SRT_NQ, 1) ( SRT_NQ ,
1  )

◆ _domintrange_sub1

DomIntRange Test::Set::Dom::_domintrange_sub1(SRT_SUB, 1) ( SRT_SUB ,
1  )

◆ _domintrange_sup1

DomIntRange Test::Set::Dom::_domintrange_sup1(SRT_SUP, 1) ( SRT_SUP ,
1  )

◆ _domintrange_disj1

DomIntRange Test::Set::Dom::_domintrange_disj1(SRT_DISJ, 1) ( SRT_DISJ ,
1  )

◆ _domintrange_cmpl1

DomIntRange Test::Set::Dom::_domintrange_cmpl1(SRT_CMPL, 1) ( SRT_CMPL ,
1  )

◆ _domintrange_eq2

DomIntRange Test::Set::Dom::_domintrange_eq2(SRT_EQ, 2) ( SRT_EQ ,
2  )

◆ _domintrange_lq2

DomIntRange Test::Set::Dom::_domintrange_lq2(SRT_LQ, 2) ( SRT_LQ ,
2  )

◆ _domintrange_le2

DomIntRange Test::Set::Dom::_domintrange_le2(SRT_LE, 2) ( SRT_LE ,
2  )

◆ _domintrange_gq2

DomIntRange Test::Set::Dom::_domintrange_gq2(SRT_GQ, 2) ( SRT_GQ ,
2  )

◆ _domintrange_gr2

DomIntRange Test::Set::Dom::_domintrange_gr2(SRT_GR, 2) ( SRT_GR ,
2  )

◆ _domintrange_nq2

DomIntRange Test::Set::Dom::_domintrange_nq2(SRT_NQ, 2) ( SRT_NQ ,
2  )

◆ _domintrange_sub2

DomIntRange Test::Set::Dom::_domintrange_sub2(SRT_SUB, 2) ( SRT_SUB ,
2  )

◆ _domintrange_sup2

DomIntRange Test::Set::Dom::_domintrange_sup2(SRT_SUP, 2) ( SRT_SUP ,
2  )

◆ _domintrange_disj2

DomIntRange Test::Set::Dom::_domintrange_disj2(SRT_DISJ, 2) ( SRT_DISJ ,
2  )

◆ _domintrange_cmpl2

DomIntRange Test::Set::Dom::_domintrange_cmpl2(SRT_CMPL, 2) ( SRT_CMPL ,
2  )

◆ _domint_eq1

DomInt Test::Set::Dom::_domint_eq1(SRT_EQ, 1) ( SRT_EQ ,
1  )

◆ _domint_lq1

DomInt Test::Set::Dom::_domint_lq1(SRT_LQ, 1) ( SRT_LQ ,
1  )

◆ _domint_le1

DomInt Test::Set::Dom::_domint_le1(SRT_LE, 1) ( SRT_LE ,
1  )

◆ _domint_gq1

DomInt Test::Set::Dom::_domint_gq1(SRT_GQ, 1) ( SRT_GQ ,
1  )

◆ _domint_gr1

DomInt Test::Set::Dom::_domint_gr1(SRT_GR, 1) ( SRT_GR ,
1  )

◆ _domint_nq1

DomInt Test::Set::Dom::_domint_nq1(SRT_NQ, 1) ( SRT_NQ ,
1  )

◆ _domint_sub1

DomInt Test::Set::Dom::_domint_sub1(SRT_SUB, 1) ( SRT_SUB ,
1  )

◆ _domint_sup1

DomInt Test::Set::Dom::_domint_sup1(SRT_SUP, 1) ( SRT_SUP ,
1  )

◆ _domint_disj1

DomInt Test::Set::Dom::_domint_disj1(SRT_DISJ, 1) ( SRT_DISJ ,
1  )

◆ _domint_cmpl1

DomInt Test::Set::Dom::_domint_cmpl1(SRT_CMPL, 1) ( SRT_CMPL ,
1  )

◆ _domint_eq2

DomInt Test::Set::Dom::_domint_eq2(SRT_EQ, 2) ( SRT_EQ ,
2  )

◆ _domint_lq2

DomInt Test::Set::Dom::_domint_lq2(SRT_LQ, 2) ( SRT_LQ ,
2  )

◆ _domint_le2

DomInt Test::Set::Dom::_domint_le2(SRT_LE, 2) ( SRT_LE ,
2  )

◆ _domint_gq2

DomInt Test::Set::Dom::_domint_gq2(SRT_GQ, 2) ( SRT_GQ ,
2  )

◆ _domint_gr2

DomInt Test::Set::Dom::_domint_gr2(SRT_GR, 2) ( SRT_GR ,
2  )

◆ _domint_nq2

DomInt Test::Set::Dom::_domint_nq2(SRT_NQ, 2) ( SRT_NQ ,
2  )

◆ _domint_sub2

DomInt Test::Set::Dom::_domint_sub2(SRT_SUB, 2) ( SRT_SUB ,
2  )

◆ _domint_sup2

DomInt Test::Set::Dom::_domint_sup2(SRT_SUP, 2) ( SRT_SUP ,
2  )

◆ _domint_disj2

DomInt Test::Set::Dom::_domint_disj2(SRT_DISJ, 2) ( SRT_DISJ ,
2  )

◆ _domint_cmpl2

DomInt Test::Set::Dom::_domint_cmpl2(SRT_CMPL, 2) ( SRT_CMPL ,
2  )

◆ _domdom_eq1

DomDom Test::Set::Dom::_domdom_eq1(SRT_EQ, 1) ( SRT_EQ ,
1  )

◆ _domdom_lq1

DomDom Test::Set::Dom::_domdom_lq1(SRT_LQ, 1) ( SRT_LQ ,
1  )

◆ _domdom_le1

DomDom Test::Set::Dom::_domdom_le1(SRT_LE, 1) ( SRT_LE ,
1  )

◆ _domdom_gq1

DomDom Test::Set::Dom::_domdom_gq1(SRT_GQ, 1) ( SRT_GQ ,
1  )

◆ _domdom_gr1

DomDom Test::Set::Dom::_domdom_gr1(SRT_GR, 1) ( SRT_GR ,
1  )

◆ _domdom_nq1

DomDom Test::Set::Dom::_domdom_nq1(SRT_NQ, 1) ( SRT_NQ ,
1  )

◆ _domdom_sub1

DomDom Test::Set::Dom::_domdom_sub1(SRT_SUB, 1) ( SRT_SUB ,
1  )

◆ _domdom_sup1

DomDom Test::Set::Dom::_domdom_sup1(SRT_SUP, 1) ( SRT_SUP ,
1  )

◆ _domdom_disj1

DomDom Test::Set::Dom::_domdom_disj1(SRT_DISJ, 1) ( SRT_DISJ ,
1  )

◆ _domdom_cmpl1

DomDom Test::Set::Dom::_domdom_cmpl1(SRT_CMPL, 1) ( SRT_CMPL ,
1  )

◆ _domdom_eq2

DomDom Test::Set::Dom::_domdom_eq2(SRT_EQ, 2) ( SRT_EQ ,
2  )

◆ _domdom_lq2

DomDom Test::Set::Dom::_domdom_lq2(SRT_LQ, 2) ( SRT_LQ ,
2  )

◆ _domdom_le2

DomDom Test::Set::Dom::_domdom_le2(SRT_LE, 2) ( SRT_LE ,
2  )

◆ _domdom_gq2

DomDom Test::Set::Dom::_domdom_gq2(SRT_GQ, 2) ( SRT_GQ ,
2  )

◆ _domdom_gr2

DomDom Test::Set::Dom::_domdom_gr2(SRT_GR, 2) ( SRT_GR ,
2  )

◆ _domdom_nq2

DomDom Test::Set::Dom::_domdom_nq2(SRT_NQ, 2) ( SRT_NQ ,
2  )

◆ _domdom_sub2

DomDom Test::Set::Dom::_domdom_sub2(SRT_SUB, 2) ( SRT_SUB ,
2  )

◆ _domdom_sup2

DomDom Test::Set::Dom::_domdom_sup2(SRT_SUP, 2) ( SRT_SUP ,
2  )

◆ _domdom_disj2

DomDom Test::Set::Dom::_domdom_disj2(SRT_DISJ, 2) ( SRT_DISJ ,
2  )

◆ _domdom_cmpl2

DomDom Test::Set::Dom::_domdom_cmpl2(SRT_CMPL, 2) ( SRT_CMPL ,
2  )

◆ _cr1

CardRange Test::Set::Dom::_cr1(1) ( 1 )

◆ _cr2

CardRange Test::Set::Dom::_cr2(2) ( 2 )