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

## 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 | )