Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
Test::Int::Extensional Namespace Reference

Tests for extensional (relation) constraints More...

Classes

class  Create
 Help class to create and register tests. More...
 
class  RandomTupleSetTest
 
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  TupleSetBase
 Test with tuple set More...
 
class  TupleSetBool
 Test with bool tuple set More...
 
class  TupleSetLarge
 Test with large tuple set More...
 
class  TupleSetTest
 Test with tuple set More...
 
class  TupleSetTestSize
 Help class to create and register tests with a fixed table size. More...
 

Functions

Gecode::DFA tupleset2dfa (Gecode::TupleSet ts)
 % Transform a TupleSet into a DFA More...
 
Gecode::TupleSet randomTupleSet (int n, int min, int max, double prob)
 

Variables

Create c
 
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))
 
TupleSetBase tsb
 
TupleSetLarge tsl (0.05)
 
TupleSetBool tsbool (0.3)
 

Detailed Description

Tests for extensional (relation) constraints