int.cc File Reference
(Revision: 6241)
#include "test/set.hh"
#include "test/int.hh"
#include "gecode/minimodel.hh"
Go to the source code of this file.
Namespaces | |
| namespace | Test |
| namespace | Test::Set |
| namespace | Test::Set::Int |
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::Max |
| Test for 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... | |
| class | Test::Set::Int::Match |
| Test for match constraint. More... | |
| class | Test::Set::Int::ChannelInt |
| Test for integer channel constraint. More... | |
| class | Test::Set::Int::ChannelBool |
| Test for Boolean channel constraint. More... | |
Functions | |
| template<class I> | |
| int | Test::Set::Int::weightI (const IntArgs &elements, const IntArgs &weights, I &iter) |
Variables | |
| Card | Test::Set::Int::_card ("Int::Card") |
| Min | Test::Set::Int::_min ("Int::Min") |
| Max | Test::Set::Int::_max ("Int::Max") |
| 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_eqi (Gecode::SRT_EQ, true) |
| Rel | Test::Set::Int::_rel_nqi (Gecode::SRT_NQ, true) |
| Rel | Test::Set::Int::_rel_subi (Gecode::SRT_SUB, true) |
| Rel | Test::Set::Int::_rel_supi (Gecode::SRT_SUP, true) |
| Rel | Test::Set::Int::_rel_disji (Gecode::SRT_DISJ, true) |
| Rel | Test::Set::Int::_rel_cmpli (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_eqi (Gecode::IRT_EQ, true) |
| IntRel | Test::Set::Int::_intrel_nqi (Gecode::IRT_NQ, true) |
| IntRel | Test::Set::Int::_intrel_gri (Gecode::IRT_GR, true) |
| IntRel | Test::Set::Int::_intrel_gqi (Gecode::IRT_GQ, true) |
| IntRel | Test::Set::Int::_intrel_lei (Gecode::IRT_LE, true) |
| IntRel | Test::Set::Int::_intrel_lqi (Gecode::IRT_LQ, true) |
| Weights | Test::Set::Int::_weights ("Int::Weights") |
| Match | Test::Set::Int::_match ("Int::Match") |
| ChannelInt | Test::Set::Int::_channelint1 ("Int::Channel::Int::1", d2, 2, 3) |
| ChannelInt | Test::Set::Int::_channelint2 ("Int::Channel::Int::2", d3, 3, 3) |
| ChannelBool | Test::Set::Int::_channelbool1 ("Int::Channel::Bool::1", d2, 3) |
| ChannelBool | Test::Set::Int::_channelbool2 ("Int::Channel::Bool::2", d3, 3) |
| ChannelBool | Test::Set::Int::_channelbool3 ("Int::Channel::Bool::3", d4, 5) |