Test::Int::Extensional Namespace Reference
Detailed Description
Tests for extensional (relation) constraints.
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 | 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 | 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 |
| RegSharedA | rsa |
| RegSharedB | rsb |
| RegSharedC | rsc |
| RegSharedD | rsd |
| RegEmptyDFA | redfa |
| RegEmptyREG | rereg |
| TupleSetA | tsam (Gecode::PK_MEMORY) |
| TupleSetA | tsas (Gecode::PK_SPEED) |
| TupleSetB | tsbm (Gecode::PK_MEMORY) |
| TupleSetB | tsbs (Gecode::PK_SPEED) |
| TupleSetBool | tsboolm (Gecode::PK_MEMORY, 0.3) |
| TupleSetBool | tsbools (Gecode::PK_SPEED, 0.3) |