rel.cpp File Reference

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

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::IntSeq
	Test for sequence of relations between integer variables More...
class	Test::Int::Rel::IntSharedSeq
	Test for sequence of relations between shared integer variables More...
class	Test::Int::Rel::BoolSeq
	Test for sequence of relations between Boolean variables More...
class	Test::Int::Rel::BoolSharedSeq
	Test for sequence of relations between shared Boolean variables More...
class	Test::Int::Rel::IntArrayVar
	Test for relation between same sized arrays of integer variables More...
class	Test::Int::Rel::IntArrayInt
	Test for relation between same sized arrays of integer variables and integers More...
class	Test::Int::Rel::IntArrayDiff
	Test for relation between differently sized arrays of integer variables More...
class	Test::Int::Rel::BoolArrayVar
	Test for relation between arrays of Boolean variables More...
class	Test::Int::Rel::BoolArrayInt
	Test for relation between arrays of Boolean variables and integers 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

rel.cpp File Reference

Classes

Namespaces

Variables