mm-rel.cc File Reference
(Revision: 6355)
#include "test/int.hh"
#include "gecode/minimodel.hh"
Go to the source code of this file.
Namespaces | |
namespace | Test |
namespace | Test::Int |
namespace | Test::Int::MiniModel |
Classes | |
class | Test::Int::MiniModel::IntLex |
Test for relation between arrays of integer variables. More... | |
class | Test::Int::MiniModel::BoolLex |
Test for relation between arrays of Boolean variables. More... | |
class | Test::Int::MiniModel::Create |
Help class to create and register tests. More... | |
Variables | |
Create | Test::Int::MiniModel::c |