|
| Test::Set::Int::Card::Card (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::Card::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::Card::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
| Test::Set::Int::Min::Min (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::Min::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::Min::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Int::Min::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
| Post reified constraint on x. More...
|
|
| Test::Set::Int::NotMin::NotMin (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::NotMin::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::NotMin::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
| Test::Set::Int::Max::Max (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::Max::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::Max::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Int::Max::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
| Post reified constraint on x. More...
|
|
| Test::Set::Int::NotMax::NotMax (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::NotMax::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::NotMax::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
| Test::Set::Int::Elem::Elem (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::Elem::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::Elem::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Int::Elem::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
| Post reified constraint on x for b. More...
|
|
| Test::Set::Int::NoElem::NoElem (const char *t) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::NoElem::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::NoElem::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
| Test::Set::Int::Rel::Rel (Gecode::SetRelType srt0, bool inverse0) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::Rel::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::Rel::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
virtual void | Test::Set::Int::Rel::post (Space &home, SetVarArray &x, IntVarArray &y, Reify r) |
| Post reified constraint on x for b. More...
|
|
| Test::Set::Int::IntRel::IntRel (Gecode::IntRelType irt0, bool inverse0) |
| Create and register test. More...
|
|
virtual bool | Test::Set::Int::IntRel::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::IntRel::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
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. More...
|
|
virtual bool | Test::Set::Int::Weights::solution (const SetAssignment &x) const |
| Test whether x is solution More...
|
|
virtual void | Test::Set::Int::Weights::post (Space &home, SetVarArray &x, IntVarArray &y) |
| Post constraint on x. More...
|
|
|
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_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) |
|
IntArgs | Test::Set::Int::Weights::elements |
|
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) |
|