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