Generated on Mon Nov 30 23:53:58 2009 for Gecode by doxygen 1.6.1

Test::Int::Extensional Namespace Reference

Tests for extensional (relation) constraints. More...

Classes

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  RegDistinct
 Test with regular expression for distinct constraint. 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  RegEmptyDFA
 Test for empty DFA. More...
class  RegEmptyREG
 Test for empty regular expression. More...
class  RegOpt
 Test for optimizations. 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::EPK_MEMORY)
TupleSetA tsas (Gecode::EPK_SPEED)
TupleSetB tsbm (Gecode::EPK_MEMORY)
TupleSetB tsbs (Gecode::EPK_SPEED)
TupleSetBool tsboolm (Gecode::EPK_MEMORY, 0.3)
TupleSetBool tsbools (Gecode::EPK_SPEED, 0.3)

Detailed Description

Tests for extensional (relation) constraints.