mm-rel.cpp File Reference

(Revision: 8082)

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

Go to the source code of this file.

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