Classes | |
class | Test::Int::Extensional::RegSimpleA |
Test with simple regular expression More... | |
class | Test::Int::Extensional::RegSimpleB |
Test with simple regular expression More... | |
class | Test::Int::Extensional::RegSimpleC |
Test with simple regular expression More... | |
class | Test::Int::Extensional::RegDistinct |
Test with regular expression for distinct constraint More... | |
class | Test::Int::Extensional::RegRoland |
Test with simple regular expression from Roland Yap More... | |
class | Test::Int::Extensional::RegSharedA |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegSharedB |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegSharedC |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegSharedD |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | Test::Int::Extensional::RegEmptyDFA |
Test for empty DFA More... | |
class | Test::Int::Extensional::RegEmptyREG |
Test for empty regular expression More... | |
class | Test::Int::Extensional::RegOpt |
Test for optimizations More... | |
class | Test::Int::Extensional::TupleSetBase |
Test with tuple set More... | |
class | Test::Int::Extensional::TupleSetTest |
Test with tuple set More... | |
class | Test::Int::Extensional::RandomTupleSetTest |
class | Test::Int::Extensional::TupleSetLarge |
Test with large tuple set More... | |
class | Test::Int::Extensional::TupleSetBool |
Test with bool tuple set More... | |
class | Test::Int::Extensional::TupleSetTestSize |
Help class to create and register tests with a fixed table size. More... | |
class | Test::Int::Extensional::Create |
Help class to create and register tests. More... | |
Functions | |
Gecode::DFA | Test::Int::Extensional::tupleset2dfa (Gecode::TupleSet ts) |
% Transform a TupleSet into a DFA More... | |
Gecode::TupleSet | Test::Int::Extensional::randomTupleSet (int n, int min, int max, double prob) |
Gecode::DFA Test::Int::Extensional::tupleset2dfa | ( | Gecode::TupleSet | ts | ) |
% Transform a TupleSet into a DFA
Definition at line 378 of file extensional.cpp.
Gecode::TupleSet Test::Int::Extensional::randomTupleSet | ( | int | n, |
int | min, | ||
int | max, | ||
double | prob | ||
) |
Definition at line 603 of file extensional.cpp.
Create Test::Int::Extensional::c |
Definition at line 748 of file extensional.cpp.
RegSimpleA Test::Int::Extensional::ra |
Definition at line 750 of file extensional.cpp.
RegSimpleB Test::Int::Extensional::rb |
Definition at line 751 of file extensional.cpp.
RegSimpleC Test::Int::Extensional::rc |
Definition at line 752 of file extensional.cpp.
RegDistinct Test::Int::Extensional::rd |
Definition at line 754 of file extensional.cpp.
RegRoland Test::Int::Extensional::rr1(1) |
RegRoland Test::Int::Extensional::rr2(2) |
RegRoland Test::Int::Extensional::rr3(3) |
RegRoland Test::Int::Extensional::rr4(4) |
RegSharedA Test::Int::Extensional::rsa |
Definition at line 761 of file extensional.cpp.
RegSharedB Test::Int::Extensional::rsb |
Definition at line 762 of file extensional.cpp.
RegSharedC Test::Int::Extensional::rsc |
Definition at line 763 of file extensional.cpp.
RegSharedD Test::Int::Extensional::rsd |
Definition at line 764 of file extensional.cpp.
RegEmptyDFA Test::Int::Extensional::redfa |
Definition at line 766 of file extensional.cpp.
RegEmptyREG Test::Int::Extensional::rereg |
Definition at line 767 of file extensional.cpp.
RegOpt Test::Int::Extensional::ro0(CHAR_MAX-1) |
RegOpt Test::Int::Extensional::ro1(CHAR_MAX) |
RegOpt Test::Int::Extensional::ro2(static_cast< int >(UCHAR_MAX-1)) |
RegOpt Test::Int::Extensional::ro3(static_cast< int >(UCHAR_MAX)) |
RegOpt Test::Int::Extensional::ro4(SHRT_MAX-1) |
RegOpt Test::Int::Extensional::ro5(SHRT_MAX) |
RegOpt Test::Int::Extensional::ro6(static_cast< int >(USHRT_MAX-1)) |
RegOpt Test::Int::Extensional::ro7(static_cast< int >(USHRT_MAX)) |
TupleSetBase Test::Int::Extensional::tsb |
Definition at line 778 of file extensional.cpp.
TupleSetLarge Test::Int::Extensional::tsl(0.05) |
TupleSetBool Test::Int::Extensional::tsbool(0.3) |