Generated on Fri Jul 13 2018 06:08:34 for Gecode by doxygen 1.8.14

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...
 

Variables

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))
 
TupleSetA Test::Int::Extensional::tsam (Gecode::IPL_MEMORY)
 
TupleSetA Test::Int::Extensional::tsas (Gecode::IPL_SPEED)
 
TupleSetB Test::Int::Extensional::tsbm (Gecode::IPL_MEMORY)
 
TupleSetB Test::Int::Extensional::tsbs (Gecode::IPL_SPEED)
 
TupleSetBool Test::Int::Extensional::tsboolm (Gecode::IPL_MEMORY, 0.3)
 
TupleSetBool Test::Int::Extensional::tsbools (Gecode::IPL_SPEED, 0.3)
 

Detailed Description

Variable Documentation

◆ ra

RegSimpleA Test::Int::Extensional::ra

Definition at line 520 of file extensional.cpp.

◆ rb

RegSimpleB Test::Int::Extensional::rb

Definition at line 521 of file extensional.cpp.

◆ rc

RegSimpleC Test::Int::Extensional::rc

Definition at line 522 of file extensional.cpp.

◆ rd

RegDistinct Test::Int::Extensional::rd

Definition at line 524 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 531 of file extensional.cpp.

◆ rsb

RegSharedB Test::Int::Extensional::rsb

Definition at line 532 of file extensional.cpp.

◆ rsc

RegSharedC Test::Int::Extensional::rsc

Definition at line 533 of file extensional.cpp.

◆ rsd

RegSharedD Test::Int::Extensional::rsd

Definition at line 534 of file extensional.cpp.

◆ redfa

RegEmptyDFA Test::Int::Extensional::redfa

Definition at line 536 of file extensional.cpp.

◆ rereg

RegEmptyREG Test::Int::Extensional::rereg

Definition at line 537 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))

◆ tsam

TupleSetA Test::Int::Extensional::tsam(Gecode::IPL_MEMORY)

◆ tsas

TupleSetA Test::Int::Extensional::tsas(Gecode::IPL_SPEED)

◆ tsbm

TupleSetB Test::Int::Extensional::tsbm(Gecode::IPL_MEMORY)

◆ tsbs

TupleSetB Test::Int::Extensional::tsbs(Gecode::IPL_SPEED)

◆ tsboolm

TupleSetBool Test::Int::Extensional::tsboolm(Gecode::IPL_MEMORY, 0.3)

◆ tsbools

TupleSetBool Test::Int::Extensional::tsbools(Gecode::IPL_SPEED, 0.3)