Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13

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, int n)
 Create and register test. More...
 
virtual bool Test::Set::Dom::DomRange::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Dom::DomRange::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 
virtual void Test::Set::Dom::DomRange::post (Space &home, SetVarArray &x, IntVarArray &, Reify r)
 Post reified constraint on x for b. More...
 
 Test::Set::Dom::DomIntRange::DomIntRange (Gecode::SetRelType srt0, int n)
 Create and register test. More...
 
virtual bool Test::Set::Dom::DomIntRange::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Dom::DomIntRange::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 
virtual void Test::Set::Dom::DomIntRange::post (Space &home, SetVarArray &x, IntVarArray &, Reify r)
 Post reified constraint on x for b. More...
 
 Test::Set::Dom::DomInt::DomInt (Gecode::SetRelType srt0, int n)
 Create and register test. More...
 
virtual bool Test::Set::Dom::DomInt::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Dom::DomInt::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 
virtual void Test::Set::Dom::DomInt::post (Space &home, SetVarArray &x, IntVarArray &, Reify r)
 Post reified constraint on x for b. More...
 
 Test::Set::Dom::DomDom::DomDom (Gecode::SetRelType srt0, int n)
 Create and register test. More...
 
virtual bool Test::Set::Dom::DomDom::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Dom::DomDom::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 
virtual void Test::Set::Dom::DomDom::post (Space &home, SetVarArray &x, IntVarArray &, Reify r)
 Post reified constraint on x for b. More...
 
 Test::Set::Dom::CardRange::CardRange (int n)
 Create and register test. More...
 
virtual bool Test::Set::Dom::CardRange::solution (const SetAssignment &x) const
 Test whether x is solution More...
 
virtual void Test::Set::Dom::CardRange::post (Space &home, SetVarArray &x, IntVarArray &)
 Post constraint on x. More...
 

Variables

DomRange Test::Set::Dom::_domrange_eq1 (SRT_EQ, 1)
 
DomRange Test::Set::Dom::_domrange_lq1 (SRT_LQ, 1)
 
DomRange Test::Set::Dom::_domrange_le1 (SRT_LE, 1)
 
DomRange Test::Set::Dom::_domrange_gq1 (SRT_GQ, 1)
 
DomRange Test::Set::Dom::_domrange_gr1 (SRT_GR, 1)
 
DomRange Test::Set::Dom::_domrange_nq1 (SRT_NQ, 1)
 
DomRange Test::Set::Dom::_domrange_sub1 (SRT_SUB, 1)
 
DomRange Test::Set::Dom::_domrange_sup1 (SRT_SUP, 1)
 
DomRange Test::Set::Dom::_domrange_disj1 (SRT_DISJ, 1)
 
DomRange Test::Set::Dom::_domrange_cmpl1 (SRT_CMPL, 1)
 
DomRange Test::Set::Dom::_domrange_eq2 (SRT_EQ, 2)
 
DomRange Test::Set::Dom::_domrange_lq2 (SRT_LQ, 2)
 
DomRange Test::Set::Dom::_domrange_le2 (SRT_LE, 2)
 
DomRange Test::Set::Dom::_domrange_gq2 (SRT_GQ, 2)
 
DomRange Test::Set::Dom::_domrange_gr2 (SRT_GR, 2)
 
DomRange Test::Set::Dom::_domrange_nq2 (SRT_NQ, 2)
 
DomRange Test::Set::Dom::_domrange_sub2 (SRT_SUB, 2)
 
DomRange Test::Set::Dom::_domrange_sup2 (SRT_SUP, 2)
 
DomRange Test::Set::Dom::_domrange_disj2 (SRT_DISJ, 2)
 
DomRange Test::Set::Dom::_domrange_cmpl2 (SRT_CMPL, 2)
 
DomIntRange Test::Set::Dom::_domintrange_eq1 (SRT_EQ, 1)
 
DomIntRange Test::Set::Dom::_domintrange_lq1 (SRT_LQ, 1)
 
DomIntRange Test::Set::Dom::_domintrange_le1 (SRT_LE, 1)
 
DomIntRange Test::Set::Dom::_domintrange_gq1 (SRT_GQ, 1)
 
DomIntRange Test::Set::Dom::_domintrange_gr1 (SRT_GR, 1)
 
DomIntRange Test::Set::Dom::_domintrange_nq1 (SRT_NQ, 1)
 
DomIntRange Test::Set::Dom::_domintrange_sub1 (SRT_SUB, 1)
 
DomIntRange Test::Set::Dom::_domintrange_sup1 (SRT_SUP, 1)
 
DomIntRange Test::Set::Dom::_domintrange_disj1 (SRT_DISJ, 1)
 
DomIntRange Test::Set::Dom::_domintrange_cmpl1 (SRT_CMPL, 1)
 
DomIntRange Test::Set::Dom::_domintrange_eq2 (SRT_EQ, 2)
 
DomIntRange Test::Set::Dom::_domintrange_lq2 (SRT_LQ, 2)
 
DomIntRange Test::Set::Dom::_domintrange_le2 (SRT_LE, 2)
 
DomIntRange Test::Set::Dom::_domintrange_gq2 (SRT_GQ, 2)
 
DomIntRange Test::Set::Dom::_domintrange_gr2 (SRT_GR, 2)
 
DomIntRange Test::Set::Dom::_domintrange_nq2 (SRT_NQ, 2)
 
DomIntRange Test::Set::Dom::_domintrange_sub2 (SRT_SUB, 2)
 
DomIntRange Test::Set::Dom::_domintrange_sup2 (SRT_SUP, 2)
 
DomIntRange Test::Set::Dom::_domintrange_disj2 (SRT_DISJ, 2)
 
DomIntRange Test::Set::Dom::_domintrange_cmpl2 (SRT_CMPL, 2)
 
DomInt Test::Set::Dom::_domint_eq1 (SRT_EQ, 1)
 
DomInt Test::Set::Dom::_domint_lq1 (SRT_LQ, 1)
 
DomInt Test::Set::Dom::_domint_le1 (SRT_LE, 1)
 
DomInt Test::Set::Dom::_domint_gq1 (SRT_GQ, 1)
 
DomInt Test::Set::Dom::_domint_gr1 (SRT_GR, 1)
 
DomInt Test::Set::Dom::_domint_nq1 (SRT_NQ, 1)
 
DomInt Test::Set::Dom::_domint_sub1 (SRT_SUB, 1)
 
DomInt Test::Set::Dom::_domint_sup1 (SRT_SUP, 1)
 
DomInt Test::Set::Dom::_domint_disj1 (SRT_DISJ, 1)
 
DomInt Test::Set::Dom::_domint_cmpl1 (SRT_CMPL, 1)
 
DomInt Test::Set::Dom::_domint_eq2 (SRT_EQ, 2)
 
DomInt Test::Set::Dom::_domint_lq2 (SRT_LQ, 2)
 
DomInt Test::Set::Dom::_domint_le2 (SRT_LE, 2)
 
DomInt Test::Set::Dom::_domint_gq2 (SRT_GQ, 2)
 
DomInt Test::Set::Dom::_domint_gr2 (SRT_GR, 2)
 
DomInt Test::Set::Dom::_domint_nq2 (SRT_NQ, 2)
 
DomInt Test::Set::Dom::_domint_sub2 (SRT_SUB, 2)
 
DomInt Test::Set::Dom::_domint_sup2 (SRT_SUP, 2)
 
DomInt Test::Set::Dom::_domint_disj2 (SRT_DISJ, 2)
 
DomInt Test::Set::Dom::_domint_cmpl2 (SRT_CMPL, 2)
 
DomDom Test::Set::Dom::_domdom_eq1 (SRT_EQ, 1)
 
DomDom Test::Set::Dom::_domdom_lq1 (SRT_LQ, 1)
 
DomDom Test::Set::Dom::_domdom_le1 (SRT_LE, 1)
 
DomDom Test::Set::Dom::_domdom_gq1 (SRT_GQ, 1)
 
DomDom Test::Set::Dom::_domdom_gr1 (SRT_GR, 1)
 
DomDom Test::Set::Dom::_domdom_nq1 (SRT_NQ, 1)
 
DomDom Test::Set::Dom::_domdom_sub1 (SRT_SUB, 1)
 
DomDom Test::Set::Dom::_domdom_sup1 (SRT_SUP, 1)
 
DomDom Test::Set::Dom::_domdom_disj1 (SRT_DISJ, 1)
 
DomDom Test::Set::Dom::_domdom_cmpl1 (SRT_CMPL, 1)
 
DomDom Test::Set::Dom::_domdom_eq2 (SRT_EQ, 2)
 
DomDom Test::Set::Dom::_domdom_lq2 (SRT_LQ, 2)
 
DomDom Test::Set::Dom::_domdom_le2 (SRT_LE, 2)
 
DomDom Test::Set::Dom::_domdom_gq2 (SRT_GQ, 2)
 
DomDom Test::Set::Dom::_domdom_gr2 (SRT_GR, 2)
 
DomDom Test::Set::Dom::_domdom_nq2 (SRT_NQ, 2)
 
DomDom Test::Set::Dom::_domdom_sub2 (SRT_SUB, 2)
 
DomDom Test::Set::Dom::_domdom_sup2 (SRT_SUP, 2)
 
DomDom Test::Set::Dom::_domdom_disj2 (SRT_DISJ, 2)
 
DomDom Test::Set::Dom::_domdom_cmpl2 (SRT_CMPL, 2)
 
CardRange Test::Set::Dom::_cr1 (1)
 
CardRange Test::Set::Dom::_cr2 (2)
 

Detailed Description

Function Documentation

◆ DomRange()

Test::Set::Dom::DomRange::DomRange ( SetRelType  srt0,
int  n 
)
inline

Create and register test.

Definition at line 101 of file dom.cpp.

◆ solution() [1/5]

virtual bool Test::Set::Dom::DomRange::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 105 of file dom.cpp.

◆ post() [1/9]

virtual void Test::Set::Dom::DomRange::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 162 of file dom.cpp.

◆ post() [2/9]

virtual void Test::Set::Dom::DomRange::post ( Space home,
SetVarArray x,
IntVarArray ,
Reify  r 
)
inlinevirtual

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 169 of file dom.cpp.

◆ DomIntRange()

Test::Set::Dom::DomIntRange::DomIntRange ( Gecode::SetRelType  srt0,
int  n 
)
inline

Create and register test.

Definition at line 181 of file dom.cpp.

◆ solution() [2/5]

virtual bool Test::Set::Dom::DomIntRange::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 185 of file dom.cpp.

◆ post() [3/9]

virtual void Test::Set::Dom::DomIntRange::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 243 of file dom.cpp.

◆ post() [4/9]

virtual void Test::Set::Dom::DomIntRange::post ( Space home,
SetVarArray x,
IntVarArray ,
Reify  r 
)
inlinevirtual

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 250 of file dom.cpp.

◆ DomInt()

Test::Set::Dom::DomInt::DomInt ( Gecode::SetRelType  srt0,
int  n 
)
inline

Create and register test.

Definition at line 262 of file dom.cpp.

◆ solution() [3/5]

virtual bool Test::Set::Dom::DomInt::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 266 of file dom.cpp.

◆ post() [5/9]

virtual void Test::Set::Dom::DomInt::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 326 of file dom.cpp.

◆ post() [6/9]

virtual void Test::Set::Dom::DomInt::post ( Space home,
SetVarArray x,
IntVarArray ,
Reify  r 
)
inlinevirtual

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 333 of file dom.cpp.

◆ DomDom()

Test::Set::Dom::DomDom::DomDom ( Gecode::SetRelType  srt0,
int  n 
)
inline

Create and register test.

Definition at line 346 of file dom.cpp.

◆ solution() [4/5]

virtual bool Test::Set::Dom::DomDom::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 350 of file dom.cpp.

◆ post() [7/9]

virtual void Test::Set::Dom::DomDom::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 407 of file dom.cpp.

◆ post() [8/9]

virtual void Test::Set::Dom::DomDom::post ( Space home,
SetVarArray x,
IntVarArray ,
Reify  r 
)
inlinevirtual

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 414 of file dom.cpp.

◆ CardRange()

Test::Set::Dom::CardRange::CardRange ( int  n)
inline

Create and register test.

Definition at line 424 of file dom.cpp.

◆ solution() [5/5]

virtual bool Test::Set::Dom::CardRange::solution ( const SetAssignment x) const
inlinevirtual

Test whether x is solution

Implements Test::Set::SetTest.

Definition at line 427 of file dom.cpp.

◆ post() [9/9]

virtual void Test::Set::Dom::CardRange::post ( Space home,
SetVarArray x,
IntVarArray  
)
inlinevirtual

Post constraint on x.

Implements Test::Set::SetTest.

Definition at line 437 of file dom.cpp.

Variable Documentation

◆ _domrange_eq1

DomRange Test::Set::Dom::_domrange_eq1(SRT_EQ, 1)

◆ _domrange_lq1

DomRange Test::Set::Dom::_domrange_lq1(SRT_LQ, 1)

◆ _domrange_le1

DomRange Test::Set::Dom::_domrange_le1(SRT_LE, 1)

◆ _domrange_gq1

DomRange Test::Set::Dom::_domrange_gq1(SRT_GQ, 1)

◆ _domrange_gr1

DomRange Test::Set::Dom::_domrange_gr1(SRT_GR, 1)

◆ _domrange_nq1

DomRange Test::Set::Dom::_domrange_nq1(SRT_NQ, 1)

◆ _domrange_sub1

DomRange Test::Set::Dom::_domrange_sub1(SRT_SUB, 1)

◆ _domrange_sup1

DomRange Test::Set::Dom::_domrange_sup1(SRT_SUP, 1)

◆ _domrange_disj1

DomRange Test::Set::Dom::_domrange_disj1(SRT_DISJ, 1)

◆ _domrange_cmpl1

DomRange Test::Set::Dom::_domrange_cmpl1(SRT_CMPL, 1)

◆ _domrange_eq2

DomRange Test::Set::Dom::_domrange_eq2(SRT_EQ, 2)

◆ _domrange_lq2

DomRange Test::Set::Dom::_domrange_lq2(SRT_LQ, 2)

◆ _domrange_le2

DomRange Test::Set::Dom::_domrange_le2(SRT_LE, 2)

◆ _domrange_gq2

DomRange Test::Set::Dom::_domrange_gq2(SRT_GQ, 2)

◆ _domrange_gr2

DomRange Test::Set::Dom::_domrange_gr2(SRT_GR, 2)

◆ _domrange_nq2

DomRange Test::Set::Dom::_domrange_nq2(SRT_NQ, 2)

◆ _domrange_sub2

DomRange Test::Set::Dom::_domrange_sub2(SRT_SUB, 2)

◆ _domrange_sup2

DomRange Test::Set::Dom::_domrange_sup2(SRT_SUP, 2)

◆ _domrange_disj2

DomRange Test::Set::Dom::_domrange_disj2(SRT_DISJ, 2)

◆ _domrange_cmpl2

DomRange Test::Set::Dom::_domrange_cmpl2(SRT_CMPL, 2)

◆ _domintrange_eq1

DomIntRange Test::Set::Dom::_domintrange_eq1(SRT_EQ, 1)

◆ _domintrange_lq1

DomIntRange Test::Set::Dom::_domintrange_lq1(SRT_LQ, 1)

◆ _domintrange_le1

DomIntRange Test::Set::Dom::_domintrange_le1(SRT_LE, 1)

◆ _domintrange_gq1

DomIntRange Test::Set::Dom::_domintrange_gq1(SRT_GQ, 1)

◆ _domintrange_gr1

DomIntRange Test::Set::Dom::_domintrange_gr1(SRT_GR, 1)

◆ _domintrange_nq1

DomIntRange Test::Set::Dom::_domintrange_nq1(SRT_NQ, 1)

◆ _domintrange_sub1

DomIntRange Test::Set::Dom::_domintrange_sub1(SRT_SUB, 1)

◆ _domintrange_sup1

DomIntRange Test::Set::Dom::_domintrange_sup1(SRT_SUP, 1)

◆ _domintrange_disj1

DomIntRange Test::Set::Dom::_domintrange_disj1(SRT_DISJ, 1)

◆ _domintrange_cmpl1

DomIntRange Test::Set::Dom::_domintrange_cmpl1(SRT_CMPL, 1)

◆ _domintrange_eq2

DomIntRange Test::Set::Dom::_domintrange_eq2(SRT_EQ, 2)

◆ _domintrange_lq2

DomIntRange Test::Set::Dom::_domintrange_lq2(SRT_LQ, 2)

◆ _domintrange_le2

DomIntRange Test::Set::Dom::_domintrange_le2(SRT_LE, 2)

◆ _domintrange_gq2

DomIntRange Test::Set::Dom::_domintrange_gq2(SRT_GQ, 2)

◆ _domintrange_gr2

DomIntRange Test::Set::Dom::_domintrange_gr2(SRT_GR, 2)

◆ _domintrange_nq2

DomIntRange Test::Set::Dom::_domintrange_nq2(SRT_NQ, 2)

◆ _domintrange_sub2

DomIntRange Test::Set::Dom::_domintrange_sub2(SRT_SUB, 2)

◆ _domintrange_sup2

DomIntRange Test::Set::Dom::_domintrange_sup2(SRT_SUP, 2)

◆ _domintrange_disj2

DomIntRange Test::Set::Dom::_domintrange_disj2(SRT_DISJ, 2)

◆ _domintrange_cmpl2

DomIntRange Test::Set::Dom::_domintrange_cmpl2(SRT_CMPL, 2)

◆ _domint_eq1

DomInt Test::Set::Dom::_domint_eq1(SRT_EQ, 1)

◆ _domint_lq1

DomInt Test::Set::Dom::_domint_lq1(SRT_LQ, 1)

◆ _domint_le1

DomInt Test::Set::Dom::_domint_le1(SRT_LE, 1)

◆ _domint_gq1

DomInt Test::Set::Dom::_domint_gq1(SRT_GQ, 1)

◆ _domint_gr1

DomInt Test::Set::Dom::_domint_gr1(SRT_GR, 1)

◆ _domint_nq1

DomInt Test::Set::Dom::_domint_nq1(SRT_NQ, 1)

◆ _domint_sub1

DomInt Test::Set::Dom::_domint_sub1(SRT_SUB, 1)

◆ _domint_sup1

DomInt Test::Set::Dom::_domint_sup1(SRT_SUP, 1)

◆ _domint_disj1

DomInt Test::Set::Dom::_domint_disj1(SRT_DISJ, 1)

◆ _domint_cmpl1

DomInt Test::Set::Dom::_domint_cmpl1(SRT_CMPL, 1)

◆ _domint_eq2

DomInt Test::Set::Dom::_domint_eq2(SRT_EQ, 2)

◆ _domint_lq2

DomInt Test::Set::Dom::_domint_lq2(SRT_LQ, 2)

◆ _domint_le2

DomInt Test::Set::Dom::_domint_le2(SRT_LE, 2)

◆ _domint_gq2

DomInt Test::Set::Dom::_domint_gq2(SRT_GQ, 2)

◆ _domint_gr2

DomInt Test::Set::Dom::_domint_gr2(SRT_GR, 2)

◆ _domint_nq2

DomInt Test::Set::Dom::_domint_nq2(SRT_NQ, 2)

◆ _domint_sub2

DomInt Test::Set::Dom::_domint_sub2(SRT_SUB, 2)

◆ _domint_sup2

DomInt Test::Set::Dom::_domint_sup2(SRT_SUP, 2)

◆ _domint_disj2

DomInt Test::Set::Dom::_domint_disj2(SRT_DISJ, 2)

◆ _domint_cmpl2

DomInt Test::Set::Dom::_domint_cmpl2(SRT_CMPL, 2)

◆ _domdom_eq1

DomDom Test::Set::Dom::_domdom_eq1(SRT_EQ, 1)

◆ _domdom_lq1

DomDom Test::Set::Dom::_domdom_lq1(SRT_LQ, 1)

◆ _domdom_le1

DomDom Test::Set::Dom::_domdom_le1(SRT_LE, 1)

◆ _domdom_gq1

DomDom Test::Set::Dom::_domdom_gq1(SRT_GQ, 1)

◆ _domdom_gr1

DomDom Test::Set::Dom::_domdom_gr1(SRT_GR, 1)

◆ _domdom_nq1

DomDom Test::Set::Dom::_domdom_nq1(SRT_NQ, 1)

◆ _domdom_sub1

DomDom Test::Set::Dom::_domdom_sub1(SRT_SUB, 1)

◆ _domdom_sup1

DomDom Test::Set::Dom::_domdom_sup1(SRT_SUP, 1)

◆ _domdom_disj1

DomDom Test::Set::Dom::_domdom_disj1(SRT_DISJ, 1)

◆ _domdom_cmpl1

DomDom Test::Set::Dom::_domdom_cmpl1(SRT_CMPL, 1)

◆ _domdom_eq2

DomDom Test::Set::Dom::_domdom_eq2(SRT_EQ, 2)

◆ _domdom_lq2

DomDom Test::Set::Dom::_domdom_lq2(SRT_LQ, 2)

◆ _domdom_le2

DomDom Test::Set::Dom::_domdom_le2(SRT_LE, 2)

◆ _domdom_gq2

DomDom Test::Set::Dom::_domdom_gq2(SRT_GQ, 2)

◆ _domdom_gr2

DomDom Test::Set::Dom::_domdom_gr2(SRT_GR, 2)

◆ _domdom_nq2

DomDom Test::Set::Dom::_domdom_nq2(SRT_NQ, 2)

◆ _domdom_sub2

DomDom Test::Set::Dom::_domdom_sub2(SRT_SUB, 2)

◆ _domdom_sup2

DomDom Test::Set::Dom::_domdom_sup2(SRT_SUP, 2)

◆ _domdom_disj2

DomDom Test::Set::Dom::_domdom_disj2(SRT_DISJ, 2)

◆ _domdom_cmpl2

DomDom Test::Set::Dom::_domdom_cmpl2(SRT_CMPL, 2)

◆ _cr1

CardRange Test::Set::Dom::_cr1(1)

◆ _cr2

CardRange Test::Set::Dom::_cr2(2)