Generated on Tue Jan 28 2020 00:00:00 for Gecode by doxygen 1.8.17
Test::Int::Extensional Namespace Reference

Tests for extensional (relation) constraints More...

Classes

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  TupleSetA
 Test with tuple set More...
 
class  TupleSetB
 Test with tuple set More...
 
class  TupleSetBool
 Test with bool tuple set More...
 

Variables

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

Detailed Description

Tests for extensional (relation) constraints

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)