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_lq (SRT_LQ)
DomRange	Test::Set::Dom::_domrange_le (SRT_LE)
DomRange	Test::Set::Dom::_domrange_gq (SRT_GQ)
DomRange	Test::Set::Dom::_domrange_gr (SRT_GR)
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_lq (SRT_LQ)
DomIntRange	Test::Set::Dom::_domintrange_le (SRT_LE)
DomIntRange	Test::Set::Dom::_domintrange_gq (SRT_GQ)
DomIntRange	Test::Set::Dom::_domintrange_gr (SRT_GR)
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_lq (SRT_LQ)
DomInt	Test::Set::Dom::_domint_le (SRT_LE)
DomInt	Test::Set::Dom::_domint_gq (SRT_GQ)
DomInt	Test::Set::Dom::_domint_gr (SRT_GR)
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_lq (SRT_LQ)
DomDom	Test::Set::Dom::_domdom_le (SRT_LE)
DomDom	Test::Set::Dom::_domdom_gq (SRT_GQ)
DomDom	Test::Set::Dom::_domdom_gr (SRT_GR)
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 102 of file dom.cpp.

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 106 of file dom.cpp.

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 134 of file dom.cpp.

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 138 of file dom.cpp.

Test::Set::Dom::DomIntRange::DomIntRange

(

Gecode::SetRelType

srt0

)

[inline, inherited]

Create and register test.

Definition at line 159 of file dom.cpp.

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 162 of file dom.cpp.

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 191 of file dom.cpp.

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 195 of file dom.cpp.

Test::Set::Dom::DomInt::DomInt

(

Gecode::SetRelType

srt0

)

[inline, inherited]

Create and register test.

Definition at line 216 of file dom.cpp.

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 219 of file dom.cpp.

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 248 of file dom.cpp.

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 252 of file dom.cpp.

Test::Set::Dom::DomDom::DomDom

(

Gecode::SetRelType

srt0

)

[inline, inherited]

Create and register test.

Definition at line 274 of file dom.cpp.

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 278 of file dom.cpp.

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 306 of file dom.cpp.

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 310 of file dom.cpp.

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 332 of file dom.cpp.

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 338 of file dom.cpp.

---

Variable Documentation

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

DomRange Test::Set::Dom::_domrange_lq(SRT_LQ)

DomRange Test::Set::Dom::_domrange_le(SRT_LE)

DomRange Test::Set::Dom::_domrange_gq(SRT_GQ)

DomRange Test::Set::Dom::_domrange_gr(SRT_GR)

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_lq(SRT_LQ)

DomIntRange Test::Set::Dom::_domintrange_le(SRT_LE)

DomIntRange Test::Set::Dom::_domintrange_gq(SRT_GQ)

DomIntRange Test::Set::Dom::_domintrange_gr(SRT_GR)

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_lq(SRT_LQ)

DomInt Test::Set::Dom::_domint_le(SRT_LE)

DomInt Test::Set::Dom::_domint_gq(SRT_GQ)

DomInt Test::Set::Dom::_domint_gr(SRT_GR)

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_lq(SRT_LQ)

DomDom Test::Set::Dom::_domdom_le(SRT_LE)

DomDom Test::Set::Dom::_domdom_gq(SRT_GQ)

DomDom Test::Set::Dom::_domdom_gr(SRT_GR)

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

Definition at line 342 of file dom.cpp.