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

rel.cpp File Reference

(Revision: 8082)

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

Go to the source code of this file.

Classes

class  Test::Int::Rel::IntVarXY
 Test for simple relation involving integer variables. More...
class  Test::Int::Rel::IntVarXX
 Test for simple relation involving shared integer variables. More...
class  Test::Int::Rel::BoolVarXY
 Test for simple relation involving Boolean variables. More...
class  Test::Int::Rel::BoolVarXX
 Test for simple relation involving shared Boolean variables. More...
class  Test::Int::Rel::IntInt
 Test for simple relation involving integer variable and integer constant. More...
class  Test::Int::Rel::BoolInt
 Test for simple relation involving Boolean variable and integer constant. More...
class  Test::Int::Rel::IntPairwise
 Test for pairwise relation between integer variables. More...
class  Test::Int::Rel::BoolPairwise
 Test for pairwise relation between Boolean variables. More...
class  Test::Int::Rel::IntArray
 Test for relation between arrays of integer variables. More...
class  Test::Int::Rel::BoolArray
 Test for relation between arrays of Boolean variables. More...
class  Test::Int::Rel::Create
 Help class to create and register tests. More...

Namespaces

namespace  Test
 

General test support.


namespace  Test::Int
 

Testing finite domain integers.


namespace  Test::Int::Rel
 

Tests for relation constraints.


Variables

Create Test::Int::Rel::c