Generated on Tue May 22 09:40:31 2018 for Gecode by doxygen 1.6.3

int.cpp File Reference

#include "test/set.hh"
#include "test/int.hh"
#include <gecode/minimodel.hh>

Go to the source code of this file.

Classes

class  Test::Set::Int::Card
 Test for cardinality constraint More...
class  Test::Set::Int::Min
 Test for minimal element constraint More...
class  Test::Set::Int::NotMin
 Test for negated minimal element constraint More...
class  Test::Set::Int::Max
 Test for maximal element constraint More...
class  Test::Set::Int::NotMax
 Test for negated maximal element constraint More...
class  Test::Set::Int::Elem
 Test for element constraint More...
class  Test::Set::Int::NoElem
 Test for negated element constraint More...
class  Test::Set::Int::Rel
 Test for relation constraint More...
class  Test::Set::Int::IntRel
 Test for integer relation constraint More...
class  Test::Set::Int::Weights
 Test for set weight constraint More...

Namespaces

namespace  Test
 

General test support.


namespace  Test::Set
 

Testing finite sets.


namespace  Test::Set::Int
 

Tests for combined int/set constraints


Functions

template<class I >
int Test::Set::Int::weightI (const IntArgs &elements, const IntArgs &weights, I &iter)

Variables

Card Test::Set::Int::_card ("Int::Card")
Min Test::Set::Int::_min ("Int::Min")
NotMin Test::Set::Int::_notmin ("Int::NotMin")
Max Test::Set::Int::_max ("Int::Max")
NotMax Test::Set::Int::_notmax ("Int::NotMax")
Elem Test::Set::Int::_elem ("Int::Elem")
NoElem Test::Set::Int::_noelem ("Int::NoElem")
Rel Test::Set::Int::_rel_eq (Gecode::SRT_EQ, false)
Rel Test::Set::Int::_rel_nq (Gecode::SRT_NQ, false)
Rel Test::Set::Int::_rel_sub (Gecode::SRT_SUB, false)
Rel Test::Set::Int::_rel_sup (Gecode::SRT_SUP, false)
Rel Test::Set::Int::_rel_disj (Gecode::SRT_DISJ, false)
Rel Test::Set::Int::_rel_cmpl (Gecode::SRT_CMPL, false)
Rel Test::Set::Int::_rel_eqs (Gecode::SRT_EQ, true)
Rel Test::Set::Int::_rel_nqs (Gecode::SRT_NQ, true)
Rel Test::Set::Int::_rel_subs (Gecode::SRT_SUB, true)
Rel Test::Set::Int::_rel_sups (Gecode::SRT_SUP, true)
Rel Test::Set::Int::_rel_disjs (Gecode::SRT_DISJ, true)
Rel Test::Set::Int::_rel_cmpls (Gecode::SRT_CMPL, true)
IntRel Test::Set::Int::_intrel_eq (Gecode::IRT_EQ, false)
IntRel Test::Set::Int::_intrel_nq (Gecode::IRT_NQ, false)
IntRel Test::Set::Int::_intrel_gr (Gecode::IRT_GR, false)
IntRel Test::Set::Int::_intrel_gq (Gecode::IRT_GQ, false)
IntRel Test::Set::Int::_intrel_le (Gecode::IRT_LE, false)
IntRel Test::Set::Int::_intrel_lq (Gecode::IRT_LQ, false)
IntRel Test::Set::Int::_intrel_eqs (Gecode::IRT_EQ, true)
IntRel Test::Set::Int::_intrel_nqs (Gecode::IRT_NQ, true)
IntRel Test::Set::Int::_intrel_grs (Gecode::IRT_GR, true)
IntRel Test::Set::Int::_intrel_gqs (Gecode::IRT_GQ, true)
IntRel Test::Set::Int::_intrel_les (Gecode::IRT_LE, true)
IntRel Test::Set::Int::_intrel_lqs (Gecode::IRT_LQ, true)
const int Test::Set::Int::el1v [] = {-3,-2,-1,0,1,2,3}
IntArgs Test::Set::Int::el1 (7, el1v)
const int Test::Set::Int::w1v [] = {1,-2,1,1,1,6,1}
IntArgs Test::Set::Int::w1 (7, w1v)
Weights Test::Set::Int::_weights1 ("Int::Weights::1", el1, w1)
const int Test::Set::Int::w2v [] = {-1,-1,-1,10,-1,-1,-1}
IntArgs Test::Set::Int::w2 (7, w2v)
Weights Test::Set::Int::_weights2 ("Int::Weights::2", el1, w2)
Weights Test::Set::Int::_weights3 ("Int::Weights::3", el1, w2, 3)
const int Test::Set::Int::w4v [] = {1,1,0,0,0,0,0}
IntArgs Test::Set::Int::w4 (7, w4v)
Weights Test::Set::Int::_weights4 ("Int::Weights::4", el1, w4)