|
| Test::Set::Dom::DomRange::DomRange (SetRelType srt0, int n) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Dom::DomRange::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Dom::DomRange::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Dom::DomRange::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b. More...
|
|
| Test::Set::Dom::DomIntRange::DomIntRange (Gecode::SetRelType srt0, int n) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Dom::DomIntRange::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Dom::DomIntRange::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Dom::DomIntRange::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b. More...
|
|
| Test::Set::Dom::DomInt::DomInt (Gecode::SetRelType srt0, int n) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Dom::DomInt::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Dom::DomInt::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Dom::DomInt::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b. More...
|
|
| Test::Set::Dom::DomDom::DomDom (Gecode::SetRelType srt0, int n) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Dom::DomDom::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Dom::DomDom::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Dom::DomDom::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b. More...
|
|
| Test::Set::Dom::CardRange::CardRange (int n) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Dom::CardRange::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Dom::CardRange::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x. More...
|
|
|
DomRange | Test::Set::Dom::_domrange_eq1 (SRT_EQ, 1) |
|
DomRange | Test::Set::Dom::_domrange_lq1 (SRT_LQ, 1) |
|
DomRange | Test::Set::Dom::_domrange_le1 (SRT_LE, 1) |
|
DomRange | Test::Set::Dom::_domrange_gq1 (SRT_GQ, 1) |
|
DomRange | Test::Set::Dom::_domrange_gr1 (SRT_GR, 1) |
|
DomRange | Test::Set::Dom::_domrange_nq1 (SRT_NQ, 1) |
|
DomRange | Test::Set::Dom::_domrange_sub1 (SRT_SUB, 1) |
|
DomRange | Test::Set::Dom::_domrange_sup1 (SRT_SUP, 1) |
|
DomRange | Test::Set::Dom::_domrange_disj1 (SRT_DISJ, 1) |
|
DomRange | Test::Set::Dom::_domrange_cmpl1 (SRT_CMPL, 1) |
|
DomRange | Test::Set::Dom::_domrange_eq2 (SRT_EQ, 2) |
|
DomRange | Test::Set::Dom::_domrange_lq2 (SRT_LQ, 2) |
|
DomRange | Test::Set::Dom::_domrange_le2 (SRT_LE, 2) |
|
DomRange | Test::Set::Dom::_domrange_gq2 (SRT_GQ, 2) |
|
DomRange | Test::Set::Dom::_domrange_gr2 (SRT_GR, 2) |
|
DomRange | Test::Set::Dom::_domrange_nq2 (SRT_NQ, 2) |
|
DomRange | Test::Set::Dom::_domrange_sub2 (SRT_SUB, 2) |
|
DomRange | Test::Set::Dom::_domrange_sup2 (SRT_SUP, 2) |
|
DomRange | Test::Set::Dom::_domrange_disj2 (SRT_DISJ, 2) |
|
DomRange | Test::Set::Dom::_domrange_cmpl2 (SRT_CMPL, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_eq1 (SRT_EQ, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_lq1 (SRT_LQ, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_le1 (SRT_LE, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_gq1 (SRT_GQ, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_gr1 (SRT_GR, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_nq1 (SRT_NQ, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_sub1 (SRT_SUB, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_sup1 (SRT_SUP, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_disj1 (SRT_DISJ, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_cmpl1 (SRT_CMPL, 1) |
|
DomIntRange | Test::Set::Dom::_domintrange_eq2 (SRT_EQ, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_lq2 (SRT_LQ, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_le2 (SRT_LE, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_gq2 (SRT_GQ, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_gr2 (SRT_GR, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_nq2 (SRT_NQ, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_sub2 (SRT_SUB, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_sup2 (SRT_SUP, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_disj2 (SRT_DISJ, 2) |
|
DomIntRange | Test::Set::Dom::_domintrange_cmpl2 (SRT_CMPL, 2) |
|
DomInt | Test::Set::Dom::_domint_eq1 (SRT_EQ, 1) |
|
DomInt | Test::Set::Dom::_domint_lq1 (SRT_LQ, 1) |
|
DomInt | Test::Set::Dom::_domint_le1 (SRT_LE, 1) |
|
DomInt | Test::Set::Dom::_domint_gq1 (SRT_GQ, 1) |
|
DomInt | Test::Set::Dom::_domint_gr1 (SRT_GR, 1) |
|
DomInt | Test::Set::Dom::_domint_nq1 (SRT_NQ, 1) |
|
DomInt | Test::Set::Dom::_domint_sub1 (SRT_SUB, 1) |
|
DomInt | Test::Set::Dom::_domint_sup1 (SRT_SUP, 1) |
|
DomInt | Test::Set::Dom::_domint_disj1 (SRT_DISJ, 1) |
|
DomInt | Test::Set::Dom::_domint_cmpl1 (SRT_CMPL, 1) |
|
DomInt | Test::Set::Dom::_domint_eq2 (SRT_EQ, 2) |
|
DomInt | Test::Set::Dom::_domint_lq2 (SRT_LQ, 2) |
|
DomInt | Test::Set::Dom::_domint_le2 (SRT_LE, 2) |
|
DomInt | Test::Set::Dom::_domint_gq2 (SRT_GQ, 2) |
|
DomInt | Test::Set::Dom::_domint_gr2 (SRT_GR, 2) |
|
DomInt | Test::Set::Dom::_domint_nq2 (SRT_NQ, 2) |
|
DomInt | Test::Set::Dom::_domint_sub2 (SRT_SUB, 2) |
|
DomInt | Test::Set::Dom::_domint_sup2 (SRT_SUP, 2) |
|
DomInt | Test::Set::Dom::_domint_disj2 (SRT_DISJ, 2) |
|
DomInt | Test::Set::Dom::_domint_cmpl2 (SRT_CMPL, 2) |
|
DomDom | Test::Set::Dom::_domdom_eq1 (SRT_EQ, 1) |
|
DomDom | Test::Set::Dom::_domdom_lq1 (SRT_LQ, 1) |
|
DomDom | Test::Set::Dom::_domdom_le1 (SRT_LE, 1) |
|
DomDom | Test::Set::Dom::_domdom_gq1 (SRT_GQ, 1) |
|
DomDom | Test::Set::Dom::_domdom_gr1 (SRT_GR, 1) |
|
DomDom | Test::Set::Dom::_domdom_nq1 (SRT_NQ, 1) |
|
DomDom | Test::Set::Dom::_domdom_sub1 (SRT_SUB, 1) |
|
DomDom | Test::Set::Dom::_domdom_sup1 (SRT_SUP, 1) |
|
DomDom | Test::Set::Dom::_domdom_disj1 (SRT_DISJ, 1) |
|
DomDom | Test::Set::Dom::_domdom_cmpl1 (SRT_CMPL, 1) |
|
DomDom | Test::Set::Dom::_domdom_eq2 (SRT_EQ, 2) |
|
DomDom | Test::Set::Dom::_domdom_lq2 (SRT_LQ, 2) |
|
DomDom | Test::Set::Dom::_domdom_le2 (SRT_LE, 2) |
|
DomDom | Test::Set::Dom::_domdom_gq2 (SRT_GQ, 2) |
|
DomDom | Test::Set::Dom::_domdom_gr2 (SRT_GR, 2) |
|
DomDom | Test::Set::Dom::_domdom_nq2 (SRT_NQ, 2) |
|
DomDom | Test::Set::Dom::_domdom_sub2 (SRT_SUB, 2) |
|
DomDom | Test::Set::Dom::_domdom_sup2 (SRT_SUP, 2) |
|
DomDom | Test::Set::Dom::_domdom_disj2 (SRT_DISJ, 2) |
|
DomDom | Test::Set::Dom::_domdom_cmpl2 (SRT_CMPL, 2) |
|
CardRange | Test::Set::Dom::_cr1 (1) |
|
CardRange | Test::Set::Dom::_cr2 (2) |
|