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