Generated on Mon Aug 25 11:35:47 2008 for Gecode by doxygen 1.5.6

Domain constraints
[Testing finite sets]


Classes

class  Test::Set::Dom::DomRange
 Test for equality with a range. More...
class  Test::Set::Dom::DomIntRange
 Test for equality with an integer range. More...
class  Test::Set::Dom::DomInt
 Test for equality with an integer. More...
class  Test::Set::Dom::DomDom
 Test for equality with a domain. More...
class  Test::Set::Dom::CardRange
 Test for cardinality range. More...

Functions

 Test::Set::Dom::DomRange::DomRange (SetRelType srt0)
 Create and register test.
virtual bool Test::Set::Dom::DomRange::solution (const SetAssignment &x) const
 Test whether x is solution.
virtual void Test::Set::Dom::DomRange::post (Space *home, SetVarArray &x, IntVarArray &)
 Post constraint on x.
virtual void Test::Set::Dom::DomRange::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
 Post reified constraint on x for b.
 Test::Set::Dom::DomIntRange::DomIntRange (Gecode::SetRelType srt0)
 Create and register test.
virtual bool Test::Set::Dom::DomIntRange::solution (const SetAssignment &x) const
 Test whether x is solution.
virtual void Test::Set::Dom::DomIntRange::post (Space *home, SetVarArray &x, IntVarArray &)
 Post constraint on x.
virtual void Test::Set::Dom::DomIntRange::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
 Post reified constraint on x for b.
 Test::Set::Dom::DomInt::DomInt (Gecode::SetRelType srt0)
 Create and register test.
virtual bool Test::Set::Dom::DomInt::solution (const SetAssignment &x) const
 Test whether x is solution.
virtual void Test::Set::Dom::DomInt::post (Space *home, SetVarArray &x, IntVarArray &)
 Post constraint on x.
virtual void Test::Set::Dom::DomInt::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
 Post reified constraint on x for b.
 Test::Set::Dom::DomDom::DomDom (Gecode::SetRelType srt0)
 Create and register test.
virtual bool Test::Set::Dom::DomDom::solution (const SetAssignment &x) const
 Test whether x is solution.
virtual void Test::Set::Dom::DomDom::post (Space *home, SetVarArray &x, IntVarArray &)
 Post constraint on x.
virtual void Test::Set::Dom::DomDom::post (Space *home, SetVarArray &x, IntVarArray &, BoolVar b)
 Post reified constraint on x for b.
virtual bool Test::Set::Dom::CardRange::solution (const SetAssignment &x) const
 Test whether x is solution.
virtual void Test::Set::Dom::CardRange::post (Space *home, SetVarArray &x, IntVarArray &)
 Post constraint on x.

Variables

DomRange Test::Set::Dom::_domrange_eq (SRT_EQ)
DomRange Test::Set::Dom::_domrange_nq (SRT_NQ)
DomRange Test::Set::Dom::_domrange_sub (SRT_SUB)
DomRange Test::Set::Dom::_domrange_sup (SRT_SUP)
DomRange Test::Set::Dom::_domrange_disj (SRT_DISJ)
DomRange Test::Set::Dom::_domrange_cmpl (SRT_CMPL)
DomIntRange Test::Set::Dom::_domintrange_eq (SRT_EQ)
DomIntRange Test::Set::Dom::_domintrange_nq (SRT_NQ)
DomIntRange Test::Set::Dom::_domintrange_sub (SRT_SUB)
DomIntRange Test::Set::Dom::_domintrange_sup (SRT_SUP)
DomIntRange Test::Set::Dom::_domintrange_disj (SRT_DISJ)
DomIntRange Test::Set::Dom::_domintrange_cmpl (SRT_CMPL)
DomInt Test::Set::Dom::_domint_eq (SRT_EQ)
DomInt Test::Set::Dom::_domint_nq (SRT_NQ)
DomInt Test::Set::Dom::_domint_sub (SRT_SUB)
DomInt Test::Set::Dom::_domint_sup (SRT_SUP)
DomInt Test::Set::Dom::_domint_disj (SRT_DISJ)
DomInt Test::Set::Dom::_domint_cmpl (SRT_CMPL)
DomDom Test::Set::Dom::_domdom_eq (SRT_EQ)
DomDom Test::Set::Dom::_domdom_nq (SRT_NQ)
DomDom Test::Set::Dom::_domdom_sub (SRT_SUB)
DomDom Test::Set::Dom::_domdom_sup (SRT_SUP)
DomDom Test::Set::Dom::_domdom_disj (SRT_DISJ)
DomDom Test::Set::Dom::_domdom_cmpl (SRT_CMPL)
CardRange Test::Set::Dom::_cardRange


Function Documentation

Test::Set::Dom::DomRange::DomRange ( SetRelType  srt0  )  [inline, inherited]

Create and register test.

Definition at line 80 of file dom.cc.

virtual bool Test::Set::Dom::DomRange::solution ( const SetAssignment x  )  const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 84 of file dom.cc.

virtual void Test::Set::Dom::DomRange::post ( Space home,
SetVarArray x,
IntVarArray  
) [inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 108 of file dom.cc.

virtual void Test::Set::Dom::DomRange::post ( Space home,
SetVarArray x,
IntVarArray ,
BoolVar  b 
) [inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 112 of file dom.cc.

Test::Set::Dom::DomIntRange::DomIntRange ( Gecode::SetRelType  srt0  )  [inline, inherited]

Create and register test.

Definition at line 129 of file dom.cc.

virtual bool Test::Set::Dom::DomIntRange::solution ( const SetAssignment x  )  const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 132 of file dom.cc.

virtual void Test::Set::Dom::DomIntRange::post ( Space home,
SetVarArray x,
IntVarArray  
) [inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 157 of file dom.cc.

virtual void Test::Set::Dom::DomIntRange::post ( Space home,
SetVarArray x,
IntVarArray ,
BoolVar  b 
) [inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 161 of file dom.cc.

Test::Set::Dom::DomInt::DomInt ( Gecode::SetRelType  srt0  )  [inline, inherited]

Create and register test.

Definition at line 178 of file dom.cc.

virtual bool Test::Set::Dom::DomInt::solution ( const SetAssignment x  )  const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 181 of file dom.cc.

virtual void Test::Set::Dom::DomInt::post ( Space home,
SetVarArray x,
IntVarArray  
) [inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 206 of file dom.cc.

virtual void Test::Set::Dom::DomInt::post ( Space home,
SetVarArray x,
IntVarArray ,
BoolVar  b 
) [inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 210 of file dom.cc.

Test::Set::Dom::DomDom::DomDom ( Gecode::SetRelType  srt0  )  [inline, inherited]

Create and register test.

Definition at line 228 of file dom.cc.

virtual bool Test::Set::Dom::DomDom::solution ( const SetAssignment x  )  const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 232 of file dom.cc.

virtual void Test::Set::Dom::DomDom::post ( Space home,
SetVarArray x,
IntVarArray  
) [inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 256 of file dom.cc.

virtual void Test::Set::Dom::DomDom::post ( Space home,
SetVarArray x,
IntVarArray ,
BoolVar  b 
) [inline, virtual, inherited]

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 260 of file dom.cc.

virtual bool Test::Set::Dom::CardRange::solution ( const SetAssignment x  )  const [inline, virtual, inherited]

Test whether x is solution.

Implements Test::Set::SetTest.

Definition at line 278 of file dom.cc.

virtual void Test::Set::Dom::CardRange::post ( Space home,
SetVarArray x,
IntVarArray  
) [inline, virtual, inherited]

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 284 of file dom.cc.


Variable Documentation

DomRange Test::Set::Dom::_domrange_eq(SRT_EQ)

DomRange Test::Set::Dom::_domrange_nq(SRT_NQ)

DomRange Test::Set::Dom::_domrange_sub(SRT_SUB)

DomRange Test::Set::Dom::_domrange_sup(SRT_SUP)

DomRange Test::Set::Dom::_domrange_disj(SRT_DISJ)

DomRange Test::Set::Dom::_domrange_cmpl(SRT_CMPL)

DomIntRange Test::Set::Dom::_domintrange_eq(SRT_EQ)

DomIntRange Test::Set::Dom::_domintrange_nq(SRT_NQ)

DomIntRange Test::Set::Dom::_domintrange_sub(SRT_SUB)

DomIntRange Test::Set::Dom::_domintrange_sup(SRT_SUP)

DomIntRange Test::Set::Dom::_domintrange_disj(SRT_DISJ)

DomIntRange Test::Set::Dom::_domintrange_cmpl(SRT_CMPL)

DomInt Test::Set::Dom::_domint_sub(SRT_SUB)

DomInt Test::Set::Dom::_domint_sup(SRT_SUP)

DomInt Test::Set::Dom::_domint_disj(SRT_DISJ)

DomInt Test::Set::Dom::_domint_cmpl(SRT_CMPL)

DomDom Test::Set::Dom::_domdom_sub(SRT_SUB)

DomDom Test::Set::Dom::_domdom_sup(SRT_SUP)

DomDom Test::Set::Dom::_domdom_disj(SRT_DISJ)

DomDom Test::Set::Dom::_domdom_cmpl(SRT_CMPL)

Definition at line 288 of file dom.cc.