Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Test::Set::Int Namespace Reference

Tests for combined int/set constraints More...

Classes

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

Function Documentation

◆ weightI()

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

Definition at line 409 of file int.cpp.

Variable Documentation

◆ _card

Card Test::Set::Int::_card("Int::Card") ( "Int::Card" )

◆ _min

Min Test::Set::Int::_min("Int::Min") ( "Int::Min" )

◆ _notmin

NotMin Test::Set::Int::_notmin("Int::NotMin") ( "Int::NotMin" )

◆ _max

Max Test::Set::Int::_max("Int::Max") ( "Int::Max" )

◆ _notmax

NotMax Test::Set::Int::_notmax("Int::NotMax") ( "Int::NotMax" )

◆ _elem

Elem Test::Set::Int::_elem("Int::Elem") ( "Int::Elem" )

◆ _noelem

NoElem Test::Set::Int::_noelem("Int::NoElem") ( "Int::NoElem" )

◆ _rel_eq

Rel Test::Set::Int::_rel_eq(Gecode::SRT_EQ, false) ( Gecode::SRT_EQ ,
false  )

◆ _rel_nq

Rel Test::Set::Int::_rel_nq(Gecode::SRT_NQ, false) ( Gecode::SRT_NQ ,
false  )

◆ _rel_sub

Rel Test::Set::Int::_rel_sub(Gecode::SRT_SUB, false) ( Gecode::SRT_SUB ,
false  )

◆ _rel_sup

Rel Test::Set::Int::_rel_sup(Gecode::SRT_SUP, false) ( Gecode::SRT_SUP ,
false  )

◆ _rel_disj

Rel Test::Set::Int::_rel_disj(Gecode::SRT_DISJ, false) ( Gecode::SRT_DISJ ,
false  )

◆ _rel_cmpl

Rel Test::Set::Int::_rel_cmpl(Gecode::SRT_CMPL, false) ( Gecode::SRT_CMPL ,
false  )

◆ _rel_eqs

Rel Test::Set::Int::_rel_eqs(Gecode::SRT_EQ, true) ( Gecode::SRT_EQ ,
true  )

◆ _rel_nqs

Rel Test::Set::Int::_rel_nqs(Gecode::SRT_NQ, true) ( Gecode::SRT_NQ ,
true  )

◆ _rel_subs

Rel Test::Set::Int::_rel_subs(Gecode::SRT_SUB, true) ( Gecode::SRT_SUB ,
true  )

◆ _rel_sups

Rel Test::Set::Int::_rel_sups(Gecode::SRT_SUP, true) ( Gecode::SRT_SUP ,
true  )

◆ _rel_disjs

Rel Test::Set::Int::_rel_disjs(Gecode::SRT_DISJ, true) ( Gecode::SRT_DISJ ,
true  )

◆ _rel_cmpls

Rel Test::Set::Int::_rel_cmpls(Gecode::SRT_CMPL, true) ( Gecode::SRT_CMPL ,
true  )

◆ _intrel_eq

IntRel Test::Set::Int::_intrel_eq(Gecode::IRT_EQ, false) ( Gecode::IRT_EQ ,
false  )

◆ _intrel_nq

IntRel Test::Set::Int::_intrel_nq(Gecode::IRT_NQ, false) ( Gecode::IRT_NQ ,
false  )

◆ _intrel_gr

IntRel Test::Set::Int::_intrel_gr(Gecode::IRT_GR, false) ( Gecode::IRT_GR ,
false  )

◆ _intrel_gq

IntRel Test::Set::Int::_intrel_gq(Gecode::IRT_GQ, false) ( Gecode::IRT_GQ ,
false  )

◆ _intrel_le

IntRel Test::Set::Int::_intrel_le(Gecode::IRT_LE, false) ( Gecode::IRT_LE ,
false  )

◆ _intrel_lq

IntRel Test::Set::Int::_intrel_lq(Gecode::IRT_LQ, false) ( Gecode::IRT_LQ ,
false  )

◆ _intrel_eqs

IntRel Test::Set::Int::_intrel_eqs(Gecode::IRT_EQ, true) ( Gecode::IRT_EQ ,
true  )

◆ _intrel_nqs

IntRel Test::Set::Int::_intrel_nqs(Gecode::IRT_NQ, true) ( Gecode::IRT_NQ ,
true  )

◆ _intrel_grs

IntRel Test::Set::Int::_intrel_grs(Gecode::IRT_GR, true) ( Gecode::IRT_GR ,
true  )

◆ _intrel_gqs

IntRel Test::Set::Int::_intrel_gqs(Gecode::IRT_GQ, true) ( Gecode::IRT_GQ ,
true  )

◆ _intrel_les

IntRel Test::Set::Int::_intrel_les(Gecode::IRT_LE, true) ( Gecode::IRT_LE ,
true  )

◆ _intrel_lqs

IntRel Test::Set::Int::_intrel_lqs(Gecode::IRT_LQ, true) ( Gecode::IRT_LQ ,
true  )

◆ el1v

const int Test::Set::Int::el1v[] = {-3,-2,-1,0,1,2,3}

Definition at line 449 of file int.cpp.

◆ el1

IntArgs Test::Set::Int::el1(7, el1v) ( 7 ,
el1v  )

◆ w1v

const int Test::Set::Int::w1v[] = {1,-2,1,1,1,6,1}

Definition at line 451 of file int.cpp.

◆ w1

IntArgs Test::Set::Int::w1(7, w1v) ( 7 ,
w1v  )

◆ _weights1

Weights Test::Set::Int::_weights1("Int::Weights::1", el1, w1) ( "Int::Weights::1" ,
el1 ,
w1  )

◆ w2v

const int Test::Set::Int::w2v[] = {-1,-1,-1,10,-1,-1,-1}

Definition at line 455 of file int.cpp.

◆ w2

IntArgs Test::Set::Int::w2(7, w2v) ( 7 ,
w2v  )

◆ _weights2

Weights Test::Set::Int::_weights2("Int::Weights::2", el1, w2) ( "Int::Weights::2" ,
el1 ,
w2  )

◆ _weights3

Weights Test::Set::Int::_weights3("Int::Weights::3", el1, w2, 3) ( "Int::Weights::3" ,
el1 ,
w2 ,
3  )

◆ w4v

const int Test::Set::Int::w4v[] = {1,1,0,0,0,0,0}

Definition at line 460 of file int.cpp.

◆ w4

IntArgs Test::Set::Int::w4(7, w4v) ( 7 ,
w4v  )

◆ _weights4

Weights Test::Set::Int::_weights4("Int::Weights::4", el1, w4) ( "Int::Weights::4" ,
el1 ,
w4  )