basic.cpp File Reference

(Revision: 8561)

#include "test/int.hh"

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::Int
namespace	Test::Int::Basic
Classes
class	Test::Int::Basic::Basic
	Test whether testing infrastructure for integer variables works. More...
Variables
Gecode::IntArgs	Test::Int::Basic::i (4, 1, 2, 3, 4)
Basic	Test::Int::Basic::b1 (3)
Basic	Test::Int::Basic::b2 (i)