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