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