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))