Relation constraints
[Testing finite domain integers]

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...
Variables
Create	Test::Int::Rel::c

---

Variable Documentation

Create Test::Int::Rel::c

Definition at line 410 of file rel.cc.