
Tests for extensional (relation) constraints More...
Classes | |
| class | Create |
| Help class to create and register tests. More... | |
| class | RandomTupleSetTest |
| class | RegDistinct |
| Test with regular expression for distinct constraint More... | |
| class | RegEmptyDFA |
| Test for empty DFA More... | |
| class | RegEmptyREG |
| Test for empty regular expression More... | |
| class | RegOpt |
| Test for optimizations 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 | RegSimpleA |
| Test with simple regular expression More... | |
| class | RegSimpleB |
| Test with simple regular expression More... | |
| class | RegSimpleC |
| Test with simple regular expression More... | |
| class | TupleSetBase |
| Test with tuple set More... | |
| class | TupleSetBool |
| Test with bool tuple set More... | |
| class | TupleSetLarge |
| Test with large tuple set More... | |
| class | TupleSetTest |
| Test with tuple set More... | |
| class | TupleSetTestSize |
| Help class to create and register tests with a fixed table size. 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)) |
Tests for extensional (relation) constraints
| Gecode::DFA Test::Int::Extensional::tupleset2dfa | ( | Gecode::TupleSet | ts | ) |
% Transform a TupleSet into a DFA
Definition at line 376 of file extensional.cpp.
| Gecode::TupleSet Test::Int::Extensional::randomTupleSet | ( | int | n, |
| int | min, | ||
| int | max, | ||
| double | prob ) |
Definition at line 643 of file extensional.cpp.
| Create Test::Int::Extensional::c |
Definition at line 795 of file extensional.cpp.
| RegSimpleA Test::Int::Extensional::ra |
Definition at line 797 of file extensional.cpp.
| RegSimpleB Test::Int::Extensional::rb |
Definition at line 798 of file extensional.cpp.
| RegSimpleC Test::Int::Extensional::rc |
Definition at line 799 of file extensional.cpp.
| RegDistinct Test::Int::Extensional::rd |
Definition at line 801 of file extensional.cpp.
| RegRoland Test::Int::Extensional::rr1(1) | ( | 1 | ) |
| RegRoland Test::Int::Extensional::rr2(2) | ( | 2 | ) |
| RegRoland Test::Int::Extensional::rr3(3) | ( | 3 | ) |
| RegRoland Test::Int::Extensional::rr4(4) | ( | 4 | ) |
| RegSharedA Test::Int::Extensional::rsa |
Definition at line 808 of file extensional.cpp.
| RegSharedB Test::Int::Extensional::rsb |
Definition at line 809 of file extensional.cpp.
| RegSharedC Test::Int::Extensional::rsc |
Definition at line 810 of file extensional.cpp.
| RegSharedD Test::Int::Extensional::rsd |
Definition at line 811 of file extensional.cpp.
| RegEmptyDFA Test::Int::Extensional::redfa |
Definition at line 813 of file extensional.cpp.
| RegEmptyREG Test::Int::Extensional::rereg |
Definition at line 814 of file extensional.cpp.
| RegOpt Test::Int::Extensional::ro0(CHAR_MAX-1) | ( | CHAR_MAX- | 1 | ) |
| RegOpt Test::Int::Extensional::ro1(CHAR_MAX) | ( | CHAR_MAX | ) |
| RegOpt Test::Int::Extensional::ro2(static_cast< int >(UCHAR_MAX-1)) | ( | static_cast< int > | UCHAR_MAX-1 | ) |
| RegOpt Test::Int::Extensional::ro3(static_cast< int >(UCHAR_MAX)) | ( | static_cast< int > | UCHAR_MAX | ) |
| RegOpt Test::Int::Extensional::ro4(SHRT_MAX-1) | ( | SHRT_MAX- | 1 | ) |
| RegOpt Test::Int::Extensional::ro5(SHRT_MAX) | ( | SHRT_MAX | ) |
| RegOpt Test::Int::Extensional::ro6(static_cast< int >(USHRT_MAX-1)) | ( | static_cast< int > | USHRT_MAX-1 | ) |
| RegOpt Test::Int::Extensional::ro7(static_cast< int >(USHRT_MAX)) | ( | static_cast< int > | USHRT_MAX | ) |