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