
Tests for combined int/set constraints More...
Classes | |
| class | Card |
| Test for cardinality constraint More... | |
| class | Elem |
| Test for element constraint More... | |
| class | IntRel |
| Test for integer relation constraint More... | |
| class | Max |
| Test for maximal element constraint More... | |
| class | Min |
| Test for minimal element constraint More... | |
| class | NoElem |
| Test for negated element constraint More... | |
| class | NotMax |
| Test for negated maximal element constraint More... | |
| class | NotMin |
| Test for negated minimal element constraint More... | |
| class | Rel |
| Test for relation constraint More... | |
| class | Weights |
| Test for set weight constraint More... | |
Functions | |
| template<class I > | |
| int | weightI (const IntArgs &elements, const IntArgs &weights, I &iter) |
Tests for combined int/set constraints
| Card Test::Set::Int::_card("Int::Card") | ( | "Int::Card" | ) |
| Min Test::Set::Int::_min("Int::Min") | ( | "Int::Min" | ) |
| NotMin Test::Set::Int::_notmin("Int::NotMin") | ( | "Int::NotMin" | ) |
| Max Test::Set::Int::_max("Int::Max") | ( | "Int::Max" | ) |
| NotMax Test::Set::Int::_notmax("Int::NotMax") | ( | "Int::NotMax" | ) |
| Elem Test::Set::Int::_elem("Int::Elem") | ( | "Int::Elem" | ) |
| NoElem Test::Set::Int::_noelem("Int::NoElem") | ( | "Int::NoElem" | ) |
| Rel Test::Set::Int::_rel_eq(Gecode::SRT_EQ, false) | ( | Gecode::SRT_EQ | , |
| false | ) |
| Rel Test::Set::Int::_rel_nq(Gecode::SRT_NQ, false) | ( | Gecode::SRT_NQ | , |
| false | ) |
| Rel Test::Set::Int::_rel_sub(Gecode::SRT_SUB, false) | ( | Gecode::SRT_SUB | , |
| false | ) |
| Rel Test::Set::Int::_rel_sup(Gecode::SRT_SUP, false) | ( | Gecode::SRT_SUP | , |
| false | ) |
| Rel Test::Set::Int::_rel_disj(Gecode::SRT_DISJ, false) | ( | Gecode::SRT_DISJ | , |
| false | ) |
| Rel Test::Set::Int::_rel_cmpl(Gecode::SRT_CMPL, false) | ( | Gecode::SRT_CMPL | , |
| false | ) |
| Rel Test::Set::Int::_rel_eqs(Gecode::SRT_EQ, true) | ( | Gecode::SRT_EQ | , |
| true | ) |
| Rel Test::Set::Int::_rel_nqs(Gecode::SRT_NQ, true) | ( | Gecode::SRT_NQ | , |
| true | ) |
| Rel Test::Set::Int::_rel_subs(Gecode::SRT_SUB, true) | ( | Gecode::SRT_SUB | , |
| true | ) |
| Rel Test::Set::Int::_rel_sups(Gecode::SRT_SUP, true) | ( | Gecode::SRT_SUP | , |
| true | ) |
| Rel Test::Set::Int::_rel_disjs(Gecode::SRT_DISJ, true) | ( | Gecode::SRT_DISJ | , |
| true | ) |
| Rel Test::Set::Int::_rel_cmpls(Gecode::SRT_CMPL, true) | ( | Gecode::SRT_CMPL | , |
| true | ) |
| IntRel Test::Set::Int::_intrel_eq(Gecode::IRT_EQ, false) | ( | Gecode::IRT_EQ | , |
| false | ) |
| IntRel Test::Set::Int::_intrel_nq(Gecode::IRT_NQ, false) | ( | Gecode::IRT_NQ | , |
| false | ) |
| IntRel Test::Set::Int::_intrel_gr(Gecode::IRT_GR, false) | ( | Gecode::IRT_GR | , |
| false | ) |
| IntRel Test::Set::Int::_intrel_gq(Gecode::IRT_GQ, false) | ( | Gecode::IRT_GQ | , |
| false | ) |
| IntRel Test::Set::Int::_intrel_le(Gecode::IRT_LE, false) | ( | Gecode::IRT_LE | , |
| false | ) |
| IntRel Test::Set::Int::_intrel_lq(Gecode::IRT_LQ, false) | ( | Gecode::IRT_LQ | , |
| false | ) |
| IntRel Test::Set::Int::_intrel_eqs(Gecode::IRT_EQ, true) | ( | Gecode::IRT_EQ | , |
| true | ) |
| IntRel Test::Set::Int::_intrel_nqs(Gecode::IRT_NQ, true) | ( | Gecode::IRT_NQ | , |
| true | ) |
| IntRel Test::Set::Int::_intrel_grs(Gecode::IRT_GR, true) | ( | Gecode::IRT_GR | , |
| true | ) |
| IntRel Test::Set::Int::_intrel_gqs(Gecode::IRT_GQ, true) | ( | Gecode::IRT_GQ | , |
| true | ) |
| IntRel Test::Set::Int::_intrel_les(Gecode::IRT_LE, true) | ( | Gecode::IRT_LE | , |
| true | ) |
| IntRel Test::Set::Int::_intrel_lqs(Gecode::IRT_LQ, true) | ( | Gecode::IRT_LQ | , |
| true | ) |
| Weights Test::Set::Int::_weights3("Int::Weights::3", el1, w2, 3) | ( | "Int::Weights::3" | , |
| el1 | , | ||
| w2 | , | ||
| 3 | ) |