Test::Int::Rel Namespace Reference
Tests for relation constraints More...
Classes | |
class | IntVarXY |
Test for simple relation involving integer variables More... | |
class | IntVarXX |
Test for simple relation involving shared integer variables More... | |
class | BoolVarXY |
Test for simple relation involving Boolean variables More... | |
class | BoolVarXX |
Test for simple relation involving shared Boolean variables More... | |
class | IntInt |
Test for simple relation involving integer variable and integer constant More... | |
class | BoolInt |
Test for simple relation involving Boolean variable and integer constant More... | |
class | IntSeq |
Test for sequence of relations between integer variables More... | |
class | IntSharedSeq |
Test for sequence of relations between shared integer variables More... | |
class | BoolSeq |
Test for sequence of relations between Boolean variables More... | |
class | BoolSharedSeq |
Test for sequence of relations between shared Boolean variables More... | |
class | IntArray |
Test for relation between same sized arrays of integer variables More... | |
class | IntArrayDiff |
Test for relation between differently sized arrays of integer variables More... | |
class | BoolArray |
Test for relation between arrays of Boolean variables More... | |
class | Create |
Help class to create and register tests. More... | |
Variables | |
Create | c |
Detailed Description
Tests for relation constraints