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 | IntArrayVar |
| Test for relation between same sized arrays of integer variables More... | |
| class | IntArrayInt |
| Test for relation between same sized arrays of integer variables and integers More... | |
| class | IntArrayDiff |
| Test for relation between differently sized arrays of integer variables More... | |
| class | BoolArrayVar |
| Test for relation between arrays of Boolean variables More... | |
| class | BoolArrayInt |
| Test for relation between arrays of Boolean variables and integers More... | |
| class | Create |
| Help class to create and register tests. More... | |
Variables | |
| Create | c |
Detailed Description
Tests for relation constraints
