extensional.cpp File Reference
#include "test/int.hh"
#include <gecode/minimodel.hh>
#include <climits>
Go to the source code of this file.
Classes | |
class | Test::Int::Extensional::RegSimpleA |
Test with simple regular expression More... | |
class | Test::Int::Extensional::RegSimpleB |
Test with simple regular expression More... | |
class | Test::Int::Extensional::RegSimpleC |
Test with simple regular expression More... | |
class | Test::Int::Extensional::RegDistinct |
Test with regular expression for distinct constraint More... | |
class | Test::Int::Extensional::RegRoland |
Test with simple regular expression from Roland Yap More... | |
class | Test::Int::Extensional::RegSharedA |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegSharedB |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegSharedC |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegSharedD |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegEmptyDFA |
Test for empty DFA More... | |
class | Test::Int::Extensional::RegEmptyREG |
Test for empty regular expression More... | |
class | Test::Int::Extensional::RegOpt |
Test for optimizations More... | |
class | Test::Int::Extensional::TupleSetBase |
Test with tuple set More... | |
class | Test::Int::Extensional::TupleSetTest |
Test with tuple set More... | |
class | Test::Int::Extensional::RandomTupleSetTest |
class | Test::Int::Extensional::TupleSetLarge |
Test with large tuple set More... | |
class | Test::Int::Extensional::TupleSetBool |
Test with bool tuple set More... | |
class | Test::Int::Extensional::TupleSetTestSize |
Help class to create and register tests with a fixed table size. More... | |
class | Test::Int::Extensional::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::Extensional |
Tests for extensional (relation) constraints | |
Functions | |
Gecode::DFA | Test::Int::Extensional::tupleset2dfa (Gecode::TupleSet ts) |
% Transform a TupleSet into a DFA | |
Gecode::TupleSet | Test::Int::Extensional::randomTupleSet (int n, int min, int max, double prob) |
Variables | |
Create | Test::Int::Extensional::c |
RegSimpleA | Test::Int::Extensional::ra |
RegSimpleB | Test::Int::Extensional::rb |
RegSimpleC | Test::Int::Extensional::rc |
RegDistinct | Test::Int::Extensional::rd |
RegRoland | Test::Int::Extensional::rr1 (1) |
RegRoland | Test::Int::Extensional::rr2 (2) |
RegRoland | Test::Int::Extensional::rr3 (3) |
RegRoland | Test::Int::Extensional::rr4 (4) |
RegSharedA | Test::Int::Extensional::rsa |
RegSharedB | Test::Int::Extensional::rsb |
RegSharedC | Test::Int::Extensional::rsc |
RegSharedD | Test::Int::Extensional::rsd |
RegEmptyDFA | Test::Int::Extensional::redfa |
RegEmptyREG | Test::Int::Extensional::rereg |
RegOpt | Test::Int::Extensional::ro0 (CHAR_MAX-1) |
RegOpt | Test::Int::Extensional::ro1 (CHAR_MAX) |
RegOpt | Test::Int::Extensional::ro2 (static_cast< int >(UCHAR_MAX-1)) |
RegOpt | Test::Int::Extensional::ro3 (static_cast< int >(UCHAR_MAX)) |
RegOpt | Test::Int::Extensional::ro4 (SHRT_MAX-1) |
RegOpt | Test::Int::Extensional::ro5 (SHRT_MAX) |
RegOpt | Test::Int::Extensional::ro6 (static_cast< int >(USHRT_MAX-1)) |
RegOpt | Test::Int::Extensional::ro7 (static_cast< int >(USHRT_MAX)) |