Test::Int::Rel Namespace Reference
Detailed Description
Tests for relation constraints.
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 | IntPairwise |
| Test for pairwise relation between integer variables. More... | |
| class | BoolPairwise |
| Test for pairwise relation between Boolean variables. More... | |
| class | IntArray |
| Test for relation between 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 |
