Generated on Thu Feb 14 2013 20:59:49 for Gecode by doxygen 1.8.3.1
dom.cpp File Reference

(Revision: 12347)

#include "test/set.hh"

Go to the source code of this file.

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...
 

Namespaces

namespace  Test
 General test support.
 
namespace  Test::Set
 Testing finite sets.
 
namespace  Test::Set::Dom
 Tests for domain constraints
 

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