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::TupleSetA |
Test with tuple set More... | |
class | Test::Int::Extensional::TupleSetB |
Test with tuple set More... | |
class | Test::Int::Extensional::TupleSetBool |
Test with bool tuple set More... | |
Namespaces | |
Test | |
General test support. | |
Test::Int | |
Testing finite domain integers. | |
Test::Int::Extensional | |
Tests for extensional (relation) constraints | |