Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1

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::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)
 

Detailed Description

Variable Documentation

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)