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