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