Combined integer/set constraints
[Testing finite sets]
Classes | |
class | Test::Set::Int::Card |
Test for cardinality constraint More... | |
class | Test::Set::Int::Min |
Test for minimal element constraint More... | |
class | Test::Set::Int::NotMin |
Test for negated minimal element constraint More... | |
class | Test::Set::Int::Max |
Test for maximal element constraint More... | |
class | Test::Set::Int::NotMax |
Test for negated maximal element constraint More... | |
class | Test::Set::Int::Elem |
Test for element constraint More... | |
class | Test::Set::Int::NoElem |
Test for negated element constraint More... | |
class | Test::Set::Int::Rel |
Test for relation constraint More... | |
class | Test::Set::Int::IntRel |
Test for integer relation constraint More... | |
class | Test::Set::Int::Weights |
Test for set weight constraint More... | |
Functions | |
virtual bool | Test::Set::Int::Card::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::Card::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual void | Test::Set::Int::Card::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
Post reified constraint on x. | |
virtual bool | Test::Set::Int::Min::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::Min::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual void | Test::Set::Int::Min::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
Post reified constraint on x. | |
virtual bool | Test::Set::Int::NotMin::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::NotMin::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual bool | Test::Set::Int::Max::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::Max::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual void | Test::Set::Int::Max::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
Post reified constraint on x. | |
virtual bool | Test::Set::Int::NotMax::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::NotMax::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual bool | Test::Set::Int::Elem::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::Elem::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual void | Test::Set::Int::Elem::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
Post reified constraint on x for b. | |
virtual bool | Test::Set::Int::NoElem::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::NoElem::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
Test::Set::Int::Rel::Rel (Gecode::SetRelType srt0, bool s) | |
Create and register test. | |
virtual bool | Test::Set::Int::Rel::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::Rel::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual void | Test::Set::Int::Rel::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
Post reified constraint on x for r. | |
Test::Set::Int::IntRel::IntRel (Gecode::IntRelType irt0, bool s) | |
Create and register test. | |
virtual bool | Test::Set::Int::IntRel::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::IntRel::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
virtual void | Test::Set::Int::IntRel::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
Post reified constraint on x for r. | |
template<class I > | |
int | Test::Set::Int::weightI (const IntArgs &elements, const IntArgs &weights, I &iter) |
Test::Set::Int::Weights::Weights (const char *t, IntArgs &el, IntArgs &w, int min=-10000, int max=10000) | |
Create and register test. | |
virtual bool | Test::Set::Int::Weights::solution (const SetAssignment &x) const |
Test whether x is solution | |
virtual void | Test::Set::Int::Weights::post (Space &home, SetVarArray &x, IntVarArray &y) |
Post constraint on x. | |
Variables | |
Card | Test::Set::Int::_card ("Int::Card") |
Min | Test::Set::Int::_min ("Int::Min") |
NotMin | Test::Set::Int::_notmin ("Int::NotMin") |
Max | Test::Set::Int::_max ("Int::Max") |
NotMax | Test::Set::Int::_notmax ("Int::NotMax") |
Elem | Test::Set::Int::_elem ("Int::Elem") |
NoElem | Test::Set::Int::_noelem ("Int::NoElem") |
Rel | Test::Set::Int::_rel_eq (Gecode::SRT_EQ, false) |
Rel | Test::Set::Int::_rel_nq (Gecode::SRT_NQ, false) |
Rel | Test::Set::Int::_rel_sub (Gecode::SRT_SUB, false) |
Rel | Test::Set::Int::_rel_sup (Gecode::SRT_SUP, false) |
Rel | Test::Set::Int::_rel_disj (Gecode::SRT_DISJ, false) |
Rel | Test::Set::Int::_rel_cmpl (Gecode::SRT_CMPL, false) |
Rel | Test::Set::Int::_rel_eqs (Gecode::SRT_EQ, true) |
Rel | Test::Set::Int::_rel_nqs (Gecode::SRT_NQ, true) |
Rel | Test::Set::Int::_rel_subs (Gecode::SRT_SUB, true) |
Rel | Test::Set::Int::_rel_sups (Gecode::SRT_SUP, true) |
Rel | Test::Set::Int::_rel_disjs (Gecode::SRT_DISJ, true) |
Rel | Test::Set::Int::_rel_cmpls (Gecode::SRT_CMPL, true) |
IntRel | Test::Set::Int::_intrel_eq (Gecode::IRT_EQ, false) |
IntRel | Test::Set::Int::_intrel_nq (Gecode::IRT_NQ, false) |
IntRel | Test::Set::Int::_intrel_gr (Gecode::IRT_GR, false) |
IntRel | Test::Set::Int::_intrel_gq (Gecode::IRT_GQ, false) |
IntRel | Test::Set::Int::_intrel_le (Gecode::IRT_LE, false) |
IntRel | Test::Set::Int::_intrel_lq (Gecode::IRT_LQ, false) |
IntRel | Test::Set::Int::_intrel_eqs (Gecode::IRT_EQ, true) |
IntRel | Test::Set::Int::_intrel_nqs (Gecode::IRT_NQ, true) |
IntRel | Test::Set::Int::_intrel_grs (Gecode::IRT_GR, true) |
IntRel | Test::Set::Int::_intrel_gqs (Gecode::IRT_GQ, true) |
IntRel | Test::Set::Int::_intrel_les (Gecode::IRT_LE, true) |
IntRel | Test::Set::Int::_intrel_lqs (Gecode::IRT_LQ, true) |
IntArgs | Test::Set::Int::Weights::weights |
int | Test::Set::Int::Weights::minWeight |
int | Test::Set::Int::Weights::maxWeight |
const int | Test::Set::Int::el1v [] = {-3,-2,-1,0,1,2,3} |
IntArgs | Test::Set::Int::el1 (7, el1v) |
const int | Test::Set::Int::w1v [] = {1,-2,1,1,1,6,1} |
IntArgs | Test::Set::Int::w1 (7, w1v) |
Weights | Test::Set::Int::_weights1 ("Int::Weights::1", el1, w1) |
const int | Test::Set::Int::w2v [] = {-1,-1,-1,10,-1,-1,-1} |
IntArgs | Test::Set::Int::w2 (7, w2v) |
Weights | Test::Set::Int::_weights2 ("Int::Weights::2", el1, w2) |
Weights | Test::Set::Int::_weights3 ("Int::Weights::3", el1, w2, 3) |
const int | Test::Set::Int::w4v [] = {1,1,0,0,0,0,0} |
IntArgs | Test::Set::Int::w4 (7, w4v) |
Weights | Test::Set::Int::_weights4 ("Int::Weights::4", el1, w4) |
Function Documentation
virtual bool Test::Set::Int::Card::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::Card::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual void Test::Set::Int::Card::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y, | |||
Reify | r | |||
) | [inline, virtual, inherited] |
Post reified constraint on x.
Reimplemented from Test::Set::SetTest.
virtual bool Test::Set::Int::Min::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::Min::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual void Test::Set::Int::Min::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y, | |||
Reify | r | |||
) | [inline, virtual, inherited] |
Post reified constraint on x.
Reimplemented from Test::Set::SetTest.
virtual bool Test::Set::Int::NotMin::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::NotMin::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual bool Test::Set::Int::Max::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::Max::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual void Test::Set::Int::Max::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y, | |||
Reify | r | |||
) | [inline, virtual, inherited] |
Post reified constraint on x.
Reimplemented from Test::Set::SetTest.
virtual bool Test::Set::Int::NotMax::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::NotMax::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual bool Test::Set::Int::Elem::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::Elem::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual void Test::Set::Int::Elem::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y, | |||
Reify | r | |||
) | [inline, virtual, inherited] |
Post reified constraint on x for b.
Reimplemented from Test::Set::SetTest.
virtual bool Test::Set::Int::NoElem::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::NoElem::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
Test::Set::Int::Rel::Rel | ( | Gecode::SetRelType | srt0, | |
bool | s | |||
) | [inline, inherited] |
virtual bool Test::Set::Int::Rel::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::Rel::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual void Test::Set::Int::Rel::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y, | |||
Reify | r | |||
) | [inline, virtual, inherited] |
Post reified constraint on x for r.
Reimplemented from Test::Set::SetTest.
Test::Set::Int::IntRel::IntRel | ( | Gecode::IntRelType | irt0, | |
bool | s | |||
) | [inline, inherited] |
virtual bool Test::Set::Int::IntRel::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::IntRel::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
virtual void Test::Set::Int::IntRel::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y, | |||
Reify | r | |||
) | [inline, virtual, inherited] |
Post reified constraint on x for r.
Reimplemented from Test::Set::SetTest.
virtual bool Test::Set::Int::Weights::solution | ( | const SetAssignment & | x | ) | const [inline, virtual, inherited] |
virtual void Test::Set::Int::Weights::post | ( | Space & | home, | |
SetVarArray & | x, | |||
IntVarArray & | y | |||
) | [inline, virtual, inherited] |
Variable Documentation
Card Test::Set::Int::_card("Int::Card") |
Min Test::Set::Int::_min("Int::Min") |
NotMin Test::Set::Int::_notmin("Int::NotMin") |
Max Test::Set::Int::_max("Int::Max") |
NotMax Test::Set::Int::_notmax("Int::NotMax") |
Elem Test::Set::Int::_elem("Int::Elem") |
NoElem Test::Set::Int::_noelem("Int::NoElem") |
Rel Test::Set::Int::_rel_eq(Gecode::SRT_EQ, false) |
Rel Test::Set::Int::_rel_nq(Gecode::SRT_NQ, false) |
Rel Test::Set::Int::_rel_sub(Gecode::SRT_SUB, false) |
Rel Test::Set::Int::_rel_sup(Gecode::SRT_SUP, false) |
Rel Test::Set::Int::_rel_disj(Gecode::SRT_DISJ, false) |
Rel Test::Set::Int::_rel_cmpl(Gecode::SRT_CMPL, false) |
Rel Test::Set::Int::_rel_eqs(Gecode::SRT_EQ, true) |
Rel Test::Set::Int::_rel_nqs(Gecode::SRT_NQ, true) |
Rel Test::Set::Int::_rel_subs(Gecode::SRT_SUB, true) |
Rel Test::Set::Int::_rel_sups(Gecode::SRT_SUP, true) |
Rel Test::Set::Int::_rel_disjs(Gecode::SRT_DISJ, true) |
Rel Test::Set::Int::_rel_cmpls(Gecode::SRT_CMPL, true) |
IntRel Test::Set::Int::_intrel_eq(Gecode::IRT_EQ, false) |
IntRel Test::Set::Int::_intrel_nq(Gecode::IRT_NQ, false) |
IntRel Test::Set::Int::_intrel_gr(Gecode::IRT_GR, false) |
IntRel Test::Set::Int::_intrel_gq(Gecode::IRT_GQ, false) |
IntRel Test::Set::Int::_intrel_le(Gecode::IRT_LE, false) |
IntRel Test::Set::Int::_intrel_lq(Gecode::IRT_LQ, false) |
IntRel Test::Set::Int::_intrel_eqs(Gecode::IRT_EQ, true) |
IntRel Test::Set::Int::_intrel_nqs(Gecode::IRT_NQ, true) |
IntRel Test::Set::Int::_intrel_grs(Gecode::IRT_GR, true) |
IntRel Test::Set::Int::_intrel_gqs(Gecode::IRT_GQ, true) |
IntRel Test::Set::Int::_intrel_les(Gecode::IRT_LE, true) |
IntRel Test::Set::Int::_intrel_lqs(Gecode::IRT_LQ, true) |
IntArgs Test::Set::Int::Weights::weights [inherited] |
int Test::Set::Int::Weights::minWeight [inherited] |
int Test::Set::Int::Weights::maxWeight [inherited] |
const int Test::Set::Int::el1v[] = {-3,-2,-1,0,1,2,3} |
IntArgs Test::Set::Int::el1(7, el1v) |
const int Test::Set::Int::w1v[] = {1,-2,1,1,1,6,1} |
IntArgs Test::Set::Int::w1(7, w1v) |
Weights Test::Set::Int::_weights1("Int::Weights::1", el1, w1) |
const int Test::Set::Int::w2v[] = {-1,-1,-1,10,-1,-1,-1} |
IntArgs Test::Set::Int::w2(7, w2v) |
Weights Test::Set::Int::_weights2("Int::Weights::2", el1, w2) |
Weights Test::Set::Int::_weights3("Int::Weights::3", el1, w2, 3) |
const int Test::Set::Int::w4v[] = {1,1,0,0,0,0,0} |
IntArgs Test::Set::Int::w4(7, w4v) |
Weights Test::Set::Int::_weights4("Int::Weights::4", el1, w4) |