int.hh File Reference
(Revision: 11013)
#include "test/test.hh"
#include <gecode/int.hh>
#include "test/int.hpp"
Go to the source code of this file.
Classes | |
class | Test::Int::Assignment |
Base class for assignments More... | |
class | Test::Int::CpltAssignment |
Generate all assignments. More... | |
class | Test::Int::RandomAssignment |
Generate random selection of assignments. More... | |
class | Test::Int::RandomMixAssignment |
Generate random selection of assignments. More... | |
class | Test::Int::TestSpace |
Space for executing tests. More... | |
class | Test::Int::Test |
Base class for tests with integer constraints More... | |
class | Test::Int::IntConLevels |
Iterator for integer consistency levels. More... | |
class | Test::Int::IntRelTypes |
Iterator for integer relation types. More... | |
class | Test::Int::BoolOpTypes |
Iterator for Boolean operation types. More... | |
Namespaces | |
namespace | Test |
General test support. | |
namespace | Test::Int |
Testing finite domain integers. | |
Enumerations | |
enum | Test::Int::ConTestLevel { Test::Int::CTL_NONE, Test::Int::CTL_DOMAIN, Test::Int::CTL_BOUNDS_D, Test::Int::CTL_BOUNDS_Z } |
Level of consistency to test for. More... |