Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6

dom.cc File Reference

(Revision: 5029)

#include "test/cpltset.hh"

Go to the source code of this file.

Namespaces

namespace  Test
namespace  Test::CpltSet
namespace  Test::CpltSet::Dom

Classes

class  Test::CpltSet::Dom::CpltSetDomEqRange
 Test for domain equality with range constraint. More...
class  Test::CpltSet::Dom::CpltSetDomEqDom
 Test for domain equality with full domain constraint. More...
class  Test::CpltSet::Dom::CpltSetDomSupRange
 Test for domain superset with range constraint. More...
class  Test::CpltSet::Dom::CpltSetDomSupDom
 Test for domain superset with full domain constraint. More...

Variables

CpltSetDomEqRange Test::CpltSet::Dom::_cpltsetdomeqrange ("Dom::EqRange")
CpltSetDomEqDom Test::CpltSet::Dom::_cpltsetdomeq ("Dom::EqDom")
CpltSetDomSupRange Test::CpltSet::Dom::_cpltsetdomsuprange ("Dom::SupRange")
CpltSetDomSupDom Test::CpltSet::Dom::_cpltsetdomsup ("Dom::SupDom")