Generated on Sat Jun 2 2018 07:17:44 for Gecode by doxygen 1.8.13

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)
 

Variables

Create Test::Int::Extensional::c
 
RegSimpleA Test::Int::Extensional::ra
 
RegSimpleB Test::Int::Extensional::rb
 
RegSimpleC Test::Int::Extensional::rc
 
RegDistinct Test::Int::Extensional::rd
 
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
 
RegSharedB Test::Int::Extensional::rsb
 
RegSharedC Test::Int::Extensional::rsc
 
RegSharedD Test::Int::Extensional::rsd
 
RegEmptyDFA Test::Int::Extensional::redfa
 
RegEmptyREG Test::Int::Extensional::rereg
 
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
 
TupleSetLarge Test::Int::Extensional::tsl (0.05)
 
TupleSetBool Test::Int::Extensional::tsbool (0.3)
 

Detailed Description

Function Documentation

◆ tupleset2dfa()

Gecode::DFA Test::Int::Extensional::tupleset2dfa ( Gecode::TupleSet  ts)

% Transform a TupleSet into a DFA

Definition at line 378 of file extensional.cpp.

◆ randomTupleSet()

Gecode::TupleSet Test::Int::Extensional::randomTupleSet ( int  n,
int  min,
int  max,
double  prob 
)

Definition at line 603 of file extensional.cpp.

Variable Documentation

◆ c

Create Test::Int::Extensional::c

Definition at line 748 of file extensional.cpp.

◆ ra

RegSimpleA Test::Int::Extensional::ra

Definition at line 750 of file extensional.cpp.

◆ rb

RegSimpleB Test::Int::Extensional::rb

Definition at line 751 of file extensional.cpp.

◆ rc

RegSimpleC Test::Int::Extensional::rc

Definition at line 752 of file extensional.cpp.

◆ rd

RegDistinct Test::Int::Extensional::rd

Definition at line 754 of file extensional.cpp.

◆ rr1

RegRoland Test::Int::Extensional::rr1(1)

◆ rr2

RegRoland Test::Int::Extensional::rr2(2)

◆ rr3

RegRoland Test::Int::Extensional::rr3(3)

◆ rr4

RegRoland Test::Int::Extensional::rr4(4)

◆ rsa

RegSharedA Test::Int::Extensional::rsa

Definition at line 761 of file extensional.cpp.

◆ rsb

RegSharedB Test::Int::Extensional::rsb

Definition at line 762 of file extensional.cpp.

◆ rsc

RegSharedC Test::Int::Extensional::rsc

Definition at line 763 of file extensional.cpp.

◆ rsd

RegSharedD Test::Int::Extensional::rsd

Definition at line 764 of file extensional.cpp.

◆ redfa

RegEmptyDFA Test::Int::Extensional::redfa

Definition at line 766 of file extensional.cpp.

◆ rereg

RegEmptyREG Test::Int::Extensional::rereg

Definition at line 767 of file extensional.cpp.

◆ ro0

RegOpt Test::Int::Extensional::ro0(CHAR_MAX-1)

◆ ro1

RegOpt Test::Int::Extensional::ro1(CHAR_MAX)

◆ ro2

RegOpt Test::Int::Extensional::ro2(static_cast< int >(UCHAR_MAX-1))

◆ ro3

RegOpt Test::Int::Extensional::ro3(static_cast< int >(UCHAR_MAX))

◆ ro4

RegOpt Test::Int::Extensional::ro4(SHRT_MAX-1)

◆ ro5

RegOpt Test::Int::Extensional::ro5(SHRT_MAX)

◆ ro6

RegOpt Test::Int::Extensional::ro6(static_cast< int >(USHRT_MAX-1))

◆ ro7

RegOpt Test::Int::Extensional::ro7(static_cast< int >(USHRT_MAX))

◆ tsb

TupleSetBase Test::Int::Extensional::tsb

Definition at line 778 of file extensional.cpp.

◆ tsl

TupleSetLarge Test::Int::Extensional::tsl(0.05)

◆ tsbool

TupleSetBool Test::Int::Extensional::tsbool(0.3)