Generated on Fri Oct 19 11:26:38 2018 for Gecode by doxygen 1.6.3

Test::Set::Int Namespace Reference

Tests for combined int/set constraints More...

Classes

class  Card
 Test for cardinality constraint More...
class  Min
 Test for minimal element constraint More...
class  NotMin
 Test for negated minimal element constraint More...
class  Max
 Test for maximal element constraint More...
class  NotMax
 Test for negated 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...

Functions

template<class I >
int weightI (const IntArgs &elements, const IntArgs &weights, I &iter)

Variables

Card _card ("Int::Card")
Min _min ("Int::Min")
NotMin _notmin ("Int::NotMin")
Max _max ("Int::Max")
NotMax _notmax ("Int::NotMax")
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_eqs (Gecode::SRT_EQ, true)
Rel _rel_nqs (Gecode::SRT_NQ, true)
Rel _rel_subs (Gecode::SRT_SUB, true)
Rel _rel_sups (Gecode::SRT_SUP, true)
Rel _rel_disjs (Gecode::SRT_DISJ, true)
Rel _rel_cmpls (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_eqs (Gecode::IRT_EQ, true)
IntRel _intrel_nqs (Gecode::IRT_NQ, true)
IntRel _intrel_grs (Gecode::IRT_GR, true)
IntRel _intrel_gqs (Gecode::IRT_GQ, true)
IntRel _intrel_les (Gecode::IRT_LE, true)
IntRel _intrel_lqs (Gecode::IRT_LQ, true)
const int el1v [] = {-3,-2,-1,0,1,2,3}
IntArgs el1 (7, el1v)
const int w1v [] = {1,-2,1,1,1,6,1}
IntArgs w1 (7, w1v)
Weights _weights1 ("Int::Weights::1", el1, w1)
const int w2v [] = {-1,-1,-1,10,-1,-1,-1}
IntArgs w2 (7, w2v)
Weights _weights2 ("Int::Weights::2", el1, w2)
Weights _weights3 ("Int::Weights::3", el1, w2, 3)
const int w4v [] = {1,1,0,0,0,0,0}
IntArgs w4 (7, w4v)
Weights _weights4 ("Int::Weights::4", el1, w4)

Detailed Description

Tests for combined int/set constraints