int.cpp File Reference
#include "test/set.hh"#include "test/int.hh"#include <gecode/minimodel.hh>Go to the source code of this file.
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... | |
Namespaces | |
| namespace | Test |
General test support. | |
| namespace | Test::Set |
Testing finite sets. | |
| namespace | Test::Set::Int |
Tests for combined int/set constraints | |
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") |
| 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) |
| 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) |