Tests for combined int/set constraints.
|
Classes |
| class | Card |
| | Test for cardinality constraint. More...
|
| class | Min |
| | Test for minimal element constraint. More...
|
| class | Max |
| | Test for maximal element constraint. More...
|
| class | Elem |
| | Test for element constraint. More...
|
| class | NoElem |
| | Test for negated element constraint. More...
|
| class | Rel |
| | Test for relation constraint. More...
|
| class | IntRel |
| | Test for integer relation constraint. More...
|
| class | Weights |
| | Test for set weight constraint. More...
|
| class | Match |
| | Test for match constraint. More...
|
| class | ChannelInt |
| | Test for integer channel constraint. More...
|
| class | ChannelBool |
| | Test for Boolean channel constraint. More...
|
Functions |
| template<class I> |
| int | weightI (const IntArgs &elements, const IntArgs &weights, I &iter) |
Variables |
| Card | _card ("Int::Card") |
| Min | _min ("Int::Min") |
| Max | _max ("Int::Max") |
| Elem | _elem ("Int::Elem") |
| NoElem | _noelem ("Int::NoElem") |
| Rel | _rel_eq (Gecode::SRT_EQ, false) |
| Rel | _rel_nq (Gecode::SRT_NQ, false) |
| Rel | _rel_sub (Gecode::SRT_SUB, false) |
| Rel | _rel_sup (Gecode::SRT_SUP, false) |
| Rel | _rel_disj (Gecode::SRT_DISJ, false) |
| Rel | _rel_cmpl (Gecode::SRT_CMPL, false) |
| Rel | _rel_eqi (Gecode::SRT_EQ, true) |
| Rel | _rel_nqi (Gecode::SRT_NQ, true) |
| Rel | _rel_subi (Gecode::SRT_SUB, true) |
| Rel | _rel_supi (Gecode::SRT_SUP, true) |
| Rel | _rel_disji (Gecode::SRT_DISJ, true) |
| Rel | _rel_cmpli (Gecode::SRT_CMPL, true) |
| IntRel | _intrel_eq (Gecode::IRT_EQ, false) |
| IntRel | _intrel_nq (Gecode::IRT_NQ, false) |
| IntRel | _intrel_gr (Gecode::IRT_GR, false) |
| IntRel | _intrel_gq (Gecode::IRT_GQ, false) |
| IntRel | _intrel_le (Gecode::IRT_LE, false) |
| IntRel | _intrel_lq (Gecode::IRT_LQ, false) |
| IntRel | _intrel_eqi (Gecode::IRT_EQ, true) |
| IntRel | _intrel_nqi (Gecode::IRT_NQ, true) |
| IntRel | _intrel_gri (Gecode::IRT_GR, true) |
| IntRel | _intrel_gqi (Gecode::IRT_GQ, true) |
| IntRel | _intrel_lei (Gecode::IRT_LE, true) |
| IntRel | _intrel_lqi (Gecode::IRT_LQ, true) |
| Weights | _weights ("Int::Weights") |
| Match | _match ("Int::Match") |
| ChannelInt | _channelint1 ("Int::Channel::Int::1", d2, 2, 3) |
| ChannelInt | _channelint2 ("Int::Channel::Int::2", d3, 3, 3) |
| ChannelBool | _channelbool1 ("Int::Channel::Bool::1", d2, 3) |
| ChannelBool | _channelbool2 ("Int::Channel::Bool::2", d3, 3) |
| ChannelBool | _channelbool3 ("Int::Channel::Bool::3", d4, 5) |
