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