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

## 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 |  | ) |