Generated on Mon Nov 30 23:53:39 2009 for Gecode by doxygen 1.6.1

dom.cpp File Reference

(Revision: 8082)

#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_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_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_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_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