Classes |
class | Test::Set::Dom::DomRange |
| Test for equality with a range More...
|
class | Test::Set::Dom::DomIntRange |
| Test for equality with an integer range More...
|
class | Test::Set::Dom::DomInt |
| Test for equality with an integer More...
|
class | Test::Set::Dom::DomDom |
| Test for equality with a domain More...
|
class | Test::Set::Dom::CardRange |
| Test for cardinality range More...
|
Functions |
| Test::Set::Dom::DomRange::DomRange (SetRelType srt0, int n) |
| Create and register test.
|
virtual bool | Test::Set::Dom::DomRange::solution (const SetAssignment &x) const |
| Test whether x is solution
|
virtual void | Test::Set::Dom::DomRange::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x.
|
virtual void | Test::Set::Dom::DomRange::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b.
|
| Test::Set::Dom::DomIntRange::DomIntRange (Gecode::SetRelType srt0, int n) |
| Create and register test.
|
virtual bool | Test::Set::Dom::DomIntRange::solution (const SetAssignment &x) const |
| Test whether x is solution
|
virtual void | Test::Set::Dom::DomIntRange::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x.
|
virtual void | Test::Set::Dom::DomIntRange::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b.
|
| Test::Set::Dom::DomInt::DomInt (Gecode::SetRelType srt0, int n) |
| Create and register test.
|
virtual bool | Test::Set::Dom::DomInt::solution (const SetAssignment &x) const |
| Test whether x is solution
|
virtual void | Test::Set::Dom::DomInt::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x.
|
virtual void | Test::Set::Dom::DomInt::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b.
|
| Test::Set::Dom::DomDom::DomDom (Gecode::SetRelType srt0, int n) |
| Create and register test.
|
virtual bool | Test::Set::Dom::DomDom::solution (const SetAssignment &x) const |
| Test whether x is solution
|
virtual void | Test::Set::Dom::DomDom::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x.
|
virtual void | Test::Set::Dom::DomDom::post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b.
|
virtual bool | Test::Set::Dom::CardRange::solution (const SetAssignment &x) const |
| Test whether x is solution
|
virtual void | Test::Set::Dom::CardRange::post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x.
|
Variables |
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) |