
#include "test/int.hh"Go to the source code of this file.
Classes | |
| class | Test::Int::Basic::Basic |
| Test whether testing infrastructure for integer variables works More... | |
Namespaces | |
| Test | |
| General test support. | |
| Test::Int | |
| Testing finite domain integers. | |
| Test::Int::Basic | |
| Tests for basic setup | |
Variables | |
| Gecode::IntArgs | Test::Int::Basic::i (4, 1, 2, 3, 4) |
| Basic | Test::Int::Basic::b1 (3) |
| Basic | Test::Int::Basic::b2 (i) |