Generated on Thu Mar 22 10:39:50 2012 for Gecode by doxygen 1.6.3

# Combined integer/set constraints [Testing finite sets]

## 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...
class  Test::Set::Int::Match
Test for match constraint More...
class  Test::Set::Int::ChannelInt
Test for integer channel constraint More...
class  Test::Set::Int::ChannelBool
Test for Boolean channel constraint More...

## Functions

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

## 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_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::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)
Match Test::Set::Int::_match ("Int::Match")
ChannelInt Test::Set::Int::_channelint1 ("Int::Channel::Int::1", d2, 2, 3)
ChannelInt Test::Set::Int::_channelint2 ("Int::Channel::Int::2", d3, 3, 3)
ChannelBool Test::Set::Int::_channelbool1 ("Int::Channel::Bool::1", d2, 3)
ChannelBool Test::Set::Int::_channelbool2 ("Int::Channel::Bool::2", d3, 3)
ChannelBool Test::Set::Int::_channelbool3 ("Int::Channel::Bool::3", d4, 5)

## Function Documentation

 virtual bool Test::Set::Int::Card::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 74 of file int.cpp.

 virtual void Test::Set::Int::Card::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 82 of file int.cpp.

 virtual bool Test::Set::Int::Min::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 95 of file int.cpp.

 virtual void Test::Set::Int::Min::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 100 of file int.cpp.

 virtual void Test::Set::Int::Min::post ( Space & home, SetVarArray & x, IntVarArray & y, BoolVar b ) ` [inline, virtual, inherited]`

Post reified constraint on x.

Reimplemented from Test::Set::SetTest.

Definition at line 104 of file int.cpp.

 virtual bool Test::Set::Int::NotMin::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 118 of file int.cpp.

 virtual void Test::Set::Int::NotMin::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 123 of file int.cpp.

 virtual bool Test::Set::Int::Max::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 136 of file int.cpp.

 virtual void Test::Set::Int::Max::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 142 of file int.cpp.

 virtual void Test::Set::Int::Max::post ( Space & home, SetVarArray & x, IntVarArray & y, BoolVar b ) ` [inline, virtual, inherited]`

Post reified constraint on x.

Reimplemented from Test::Set::SetTest.

Definition at line 146 of file int.cpp.

 virtual bool Test::Set::Int::NotMax::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 160 of file int.cpp.

 virtual void Test::Set::Int::NotMax::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 166 of file int.cpp.

 virtual bool Test::Set::Int::Elem::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 179 of file int.cpp.

 virtual void Test::Set::Int::Elem::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 186 of file int.cpp.

 virtual void Test::Set::Int::Elem::post ( Space & home, SetVarArray & x, IntVarArray & y, BoolVar b ) ` [inline, virtual, inherited]`

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 190 of file int.cpp.

 virtual bool Test::Set::Int::NoElem::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 203 of file int.cpp.

 virtual void Test::Set::Int::NoElem::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 210 of file int.cpp.

 Test::Set::Int::Rel::Rel ( Gecode::SetRelType srt0, bool inverse0 ) ` [inline, inherited]`

Create and register test.

Definition at line 223 of file int.cpp.

 virtual bool Test::Set::Int::Rel::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 229 of file int.cpp.

 virtual void Test::Set::Int::Rel::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 262 of file int.cpp.

 virtual void Test::Set::Int::Rel::post ( Space & home, SetVarArray & x, IntVarArray & y, BoolVar b ) ` [inline, virtual, inherited]`

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 269 of file int.cpp.

 Test::Set::Int::IntRel::IntRel ( Gecode::IntRelType irt0, bool inverse0 ) ` [inline, inherited]`

Create and register test.

Definition at line 297 of file int.cpp.

 virtual bool Test::Set::Int::IntRel::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 303 of file int.cpp.

 virtual void Test::Set::Int::IntRel::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 339 of file int.cpp.

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

Definition at line 361 of file int.cpp.

 Test::Set::Int::Weights::Weights ( const char * t, IntArgs & el, IntArgs & w, int min = `-10000`, int max = `10000` ) ` [inline, inherited]`

Create and register test.

Definition at line 383 of file int.cpp.

 virtual bool Test::Set::Int::Weights::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 388 of file int.cpp.

 virtual void Test::Set::Int::Weights::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 394 of file int.cpp.

 virtual bool Test::Set::Int::Match::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 423 of file int.cpp.

 virtual void Test::Set::Int::Match::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 448 of file int.cpp.

 Test::Set::Int::ChannelInt::ChannelInt ( const char * t, const IntSet & d, int _ssize, int _isize ) ` [inline, inherited]`

Create and register test.

Definition at line 460 of file int.cpp.

 virtual bool Test::Set::Int::ChannelInt::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 463 of file int.cpp.

 virtual void Test::Set::Int::ChannelInt::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 483 of file int.cpp.

 Test::Set::Int::ChannelBool::ChannelBool ( const char * t, const IntSet & d, int _isize ) ` [inline, inherited]`

Create and register test.

Definition at line 497 of file int.cpp.

 virtual bool Test::Set::Int::ChannelBool::solution ( const SetAssignment & x ) const` [inline, virtual, inherited]`

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 500 of file int.cpp.

 virtual void Test::Set::Int::ChannelBool::post ( Space & home, SetVarArray & x, IntVarArray & y ) ` [inline, virtual, inherited]`

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 518 of file int.cpp.

## Variable Documentation

 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::weights` [inherited]`

Definition at line 379 of file int.cpp.

 int Test::Set::Int::Weights::minWeight` [inherited]`

Definition at line 380 of file int.cpp.

 int Test::Set::Int::Weights::maxWeight` [inherited]`

Definition at line 381 of file int.cpp.

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

Definition at line 401 of file int.cpp.

 IntArgs Test::Set::Int::el1(7, el1v)
 const int Test::Set::Int::w1v[] = {1,-2,1,1,1,6,1}

Definition at line 403 of file int.cpp.

 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}

Definition at line 407 of file int.cpp.

 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}

Definition at line 412 of file int.cpp.

 IntArgs Test::Set::Int::w4(7, w4v)
 Weights Test::Set::Int::_weights4("Int::Weights::4", el1, w4)
 Match Test::Set::Int::_match("Int::Match")
 ChannelInt Test::Set::Int::_channelint1("Int::Channel::Int::1", d2, 2, 3)
 ChannelInt Test::Set::Int::_channelint2("Int::Channel::Int::2", d3, 3, 3)
 ChannelBool Test::Set::Int::_channelbool1("Int::Channel::Bool::1", d2, 3)
 ChannelBool Test::Set::Int::_channelbool2("Int::Channel::Bool::2", d3, 3)
 ChannelBool Test::Set::Int::_channelbool3("Int::Channel::Bool::3", d4, 5)