Generated on Thu Apr 11 13:59:25 2019 for Gecode by doxygen 1.6.3

dom.cpp File Reference

#include <gecode/minimodel.hh>
#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_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)