rel.cpp File Reference
(Revision: 12151)
#include "test/int.hh"
#include <gecode/minimodel.hh>
Go to the source code of this file.
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::IntArray |
Test for relation between same sized arrays of integer variables More... | |
class | Test::Int::Rel::IntArrayDiff |
Test for relation between differently sized 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... | |
Namespaces | |
namespace | Test |
General test support. | |
namespace | Test::Int |
Testing finite domain integers. | |
namespace | Test::Int::Rel |
Tests for relation constraints | |
Variables | |
Create | Test::Int::Rel::c |