Generated on Tue Mar 5 2013 22:37:56 for Gecode by doxygen 1.8.3.1
Test::Set::Dom Namespace Reference

Tests for domain constraints More...

Classes

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

Variables

DomRange _domrange_eq (SRT_EQ)
 
DomRange _domrange_lq (SRT_LQ)
 
DomRange _domrange_le (SRT_LE)
 
DomRange _domrange_gq (SRT_GQ)
 
DomRange _domrange_gr (SRT_GR)
 
DomRange _domrange_nq (SRT_NQ)
 
DomRange _domrange_sub (SRT_SUB)
 
DomRange _domrange_sup (SRT_SUP)
 
DomRange _domrange_disj (SRT_DISJ)
 
DomRange _domrange_cmpl (SRT_CMPL)
 
DomIntRange _domintrange_eq (SRT_EQ)
 
DomIntRange _domintrange_lq (SRT_LQ)
 
DomIntRange _domintrange_le (SRT_LE)
 
DomIntRange _domintrange_gq (SRT_GQ)
 
DomIntRange _domintrange_gr (SRT_GR)
 
DomIntRange _domintrange_nq (SRT_NQ)
 
DomIntRange _domintrange_sub (SRT_SUB)
 
DomIntRange _domintrange_sup (SRT_SUP)
 
DomIntRange _domintrange_disj (SRT_DISJ)
 
DomIntRange _domintrange_cmpl (SRT_CMPL)
 
DomInt _domint_eq (SRT_EQ)
 
DomInt _domint_lq (SRT_LQ)
 
DomInt _domint_le (SRT_LE)
 
DomInt _domint_gq (SRT_GQ)
 
DomInt _domint_gr (SRT_GR)
 
DomInt _domint_nq (SRT_NQ)
 
DomInt _domint_sub (SRT_SUB)
 
DomInt _domint_sup (SRT_SUP)
 
DomInt _domint_disj (SRT_DISJ)
 
DomInt _domint_cmpl (SRT_CMPL)
 
DomDom _domdom_eq (SRT_EQ)
 
DomDom _domdom_lq (SRT_LQ)
 
DomDom _domdom_le (SRT_LE)
 
DomDom _domdom_gq (SRT_GQ)
 
DomDom _domdom_gr (SRT_GR)
 
DomDom _domdom_nq (SRT_NQ)
 
DomDom _domdom_sub (SRT_SUB)
 
DomDom _domdom_sup (SRT_SUP)
 
DomDom _domdom_disj (SRT_DISJ)
 
DomDom _domdom_cmpl (SRT_CMPL)
 
CardRange _cardRange
 

Detailed Description

Tests for domain constraints