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 | TupleSetA |
| Test with tuple set More... | |
| class | TupleSetB |
| Test with tuple set More... | |
| class | TupleSetBool |
| Test with bool tuple set More... | |
Variables | |
| 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)) |
| TupleSetA | tsam (Gecode::EPK_MEMORY) |
| TupleSetA | tsas (Gecode::EPK_SPEED) |
| TupleSetB | tsbm (Gecode::EPK_MEMORY) |
| TupleSetB | tsbs (Gecode::EPK_SPEED) |
| TupleSetBool | tsboolm (Gecode::EPK_MEMORY, 0.3) |
| TupleSetBool | tsbools (Gecode::EPK_SPEED, 0.3) |
Detailed Description
Tests for extensional (relation) constraints