
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::TupleSetA |
| Test with tuple set More... | |
| class | Test::Int::Extensional::TupleSetB |
| Test with tuple set More... | |
| class | Test::Int::Extensional::TupleSetBool |
| Test with bool tuple set More... | |
| RegSimpleA Test::Int::Extensional::ra |
Definition at line 528 of file extensional.cpp.
| RegSimpleB Test::Int::Extensional::rb |
Definition at line 529 of file extensional.cpp.
| RegSimpleC Test::Int::Extensional::rc |
Definition at line 530 of file extensional.cpp.
| RegDistinct Test::Int::Extensional::rd |
Definition at line 532 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 539 of file extensional.cpp.
| RegSharedB Test::Int::Extensional::rsb |
Definition at line 540 of file extensional.cpp.
| RegSharedC Test::Int::Extensional::rsc |
Definition at line 541 of file extensional.cpp.
| RegSharedD Test::Int::Extensional::rsd |
Definition at line 542 of file extensional.cpp.
| RegEmptyDFA Test::Int::Extensional::redfa |
Definition at line 544 of file extensional.cpp.
| RegEmptyREG Test::Int::Extensional::rereg |
Definition at line 545 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)) |
| TupleSetA Test::Int::Extensional::tsam(Gecode::EPK_MEMORY) |
| TupleSetA Test::Int::Extensional::tsas(Gecode::EPK_SPEED) |
| TupleSetB Test::Int::Extensional::tsbm(Gecode::EPK_MEMORY) |
| TupleSetB Test::Int::Extensional::tsbs(Gecode::EPK_SPEED) |
| TupleSetBool Test::Int::Extensional::tsboolm(Gecode::EPK_MEMORY, 0.3) |
| TupleSetBool Test::Int::Extensional::tsbools(Gecode::EPK_SPEED, 0.3) |