mm-rel.cpp File Reference

#include "test/int.hh"
#include <gecode/minimodel.hh>

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...
Namespaces
namespace	Test
	General test support.
namespace	Test::Int
	Testing finite domain integers.
namespace	Test::Int::MiniModel
	Tests for minimal modelling constraints (simple relations)
Variables
Create	Test::Int::MiniModel::c

Classes