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) | |
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 &, BoolVar b) |
Post reified constraint on x for b. | |
Test::Set::Dom::DomIntRange::DomIntRange (Gecode::SetRelType srt0) | |
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 &, BoolVar b) |
Post reified constraint on x for b. | |
Test::Set::Dom::DomInt::DomInt (Gecode::SetRelType srt0) | |
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 &, BoolVar b) |
Post reified constraint on x for b. | |
Test::Set::Dom::DomDom::DomDom (Gecode::SetRelType srt0) | |
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 &, BoolVar b) |
Post reified constraint on x for b. | |
Test::Set::Dom::CardRange::CardRange (void) | |
Create and register test. | |
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. |
|
inline |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
Post reified constraint on x for b.
Reimplemented from Test::Set::SetTest.
|
inline |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
Post reified constraint on x for b.
Reimplemented from Test::Set::SetTest.
|
inline |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
Post reified constraint on x for b.
Reimplemented from Test::Set::SetTest.
|
inline |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
Post reified constraint on x for b.
Reimplemented from Test::Set::SetTest.
|
inline |
|
inlinevirtual |
|
inlinevirtual |
DomRange Test::Set::Dom::_domrange_eq(SRT_EQ) |
DomRange Test::Set::Dom::_domrange_lq(SRT_LQ) |
DomRange Test::Set::Dom::_domrange_le(SRT_LE) |
DomRange Test::Set::Dom::_domrange_gq(SRT_GQ) |
DomRange Test::Set::Dom::_domrange_gr(SRT_GR) |
DomRange Test::Set::Dom::_domrange_nq(SRT_NQ) |
DomRange Test::Set::Dom::_domrange_sub(SRT_SUB) |
DomRange Test::Set::Dom::_domrange_sup(SRT_SUP) |
DomRange Test::Set::Dom::_domrange_disj(SRT_DISJ) |
DomRange Test::Set::Dom::_domrange_cmpl(SRT_CMPL) |
DomIntRange Test::Set::Dom::_domintrange_eq(SRT_EQ) |
DomIntRange Test::Set::Dom::_domintrange_lq(SRT_LQ) |
DomIntRange Test::Set::Dom::_domintrange_le(SRT_LE) |
DomIntRange Test::Set::Dom::_domintrange_gq(SRT_GQ) |
DomIntRange Test::Set::Dom::_domintrange_gr(SRT_GR) |
DomIntRange Test::Set::Dom::_domintrange_nq(SRT_NQ) |
DomIntRange Test::Set::Dom::_domintrange_sub(SRT_SUB) |
DomIntRange Test::Set::Dom::_domintrange_sup(SRT_SUP) |
DomIntRange Test::Set::Dom::_domintrange_disj(SRT_DISJ) |
DomIntRange Test::Set::Dom::_domintrange_cmpl(SRT_CMPL) |
DomInt Test::Set::Dom::_domint_eq(SRT_EQ) |
DomInt Test::Set::Dom::_domint_lq(SRT_LQ) |
DomInt Test::Set::Dom::_domint_le(SRT_LE) |
DomInt Test::Set::Dom::_domint_gq(SRT_GQ) |
DomInt Test::Set::Dom::_domint_gr(SRT_GR) |
DomInt Test::Set::Dom::_domint_nq(SRT_NQ) |
DomInt Test::Set::Dom::_domint_sub(SRT_SUB) |
DomInt Test::Set::Dom::_domint_sup(SRT_SUP) |
DomInt Test::Set::Dom::_domint_disj(SRT_DISJ) |
DomInt Test::Set::Dom::_domint_cmpl(SRT_CMPL) |
DomDom Test::Set::Dom::_domdom_eq(SRT_EQ) |
DomDom Test::Set::Dom::_domdom_lq(SRT_LQ) |
DomDom Test::Set::Dom::_domdom_le(SRT_LE) |
DomDom Test::Set::Dom::_domdom_gq(SRT_GQ) |
DomDom Test::Set::Dom::_domdom_gr(SRT_GR) |
DomDom Test::Set::Dom::_domdom_nq(SRT_NQ) |
DomDom Test::Set::Dom::_domdom_sub(SRT_SUB) |
DomDom Test::Set::Dom::_domdom_sup(SRT_SUP) |
DomDom Test::Set::Dom::_domdom_disj(SRT_DISJ) |
DomDom Test::Set::Dom::_domdom_cmpl(SRT_CMPL) |