Generated on Fri Oct 19 11:25:37 2018 for Gecode by doxygen 1.6.3

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, int n)
 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 &, Reify r)
 Post reified constraint on x for b.
 Test::Set::Dom::DomIntRange::DomIntRange (Gecode::SetRelType srt0, int n)
 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 &, Reify r)
 Post reified constraint on x for b.
 Test::Set::Dom::DomInt::DomInt (Gecode::SetRelType srt0, int n)
 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 &, Reify r)
 Post reified constraint on x for b.
 Test::Set::Dom::DomDom::DomDom (Gecode::SetRelType srt0, int n)
 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 &, Reify r)
 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_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)

Function Documentation

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

Create and register test.

Definition at line 99 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 103 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 161 of file dom.cpp.

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

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 168 of file dom.cpp.

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

Create and register test.

Definition at line 192 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 196 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 255 of file dom.cpp.

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

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 262 of file dom.cpp.

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

Create and register test.

Definition at line 286 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 290 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 351 of file dom.cpp.

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

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 358 of file dom.cpp.

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

Create and register test.

Definition at line 383 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 387 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 445 of file dom.cpp.

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

Post reified constraint on x for b.

Reimplemented from Test::Set::SetTest.

Definition at line 452 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 465 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 475 of file dom.cpp.


Variable Documentation

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)