Generated on Thu Apr 11 13:59:35 2019 for Gecode by doxygen 1.6.3

Extensional (relation) constraints
[Testing finite domain integers]

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

Functions

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

Variables

Create Test::Int::Extensional::c
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))

Function Documentation

Gecode::DFA Test::Int::Extensional::tupleset2dfa ( Gecode::TupleSet  ts  ) 

% Transform a TupleSet into a DFA

Definition at line 376 of file extensional.cpp.

Gecode::TupleSet Test::Int::Extensional::randomTupleSet ( int  n,
int  min,
int  max,
double  prob 
)

Definition at line 643 of file extensional.cpp.


Variable Documentation

Definition at line 795 of file extensional.cpp.

Definition at line 797 of file extensional.cpp.

Definition at line 798 of file extensional.cpp.

Definition at line 799 of file extensional.cpp.

Definition at line 801 of file extensional.cpp.

Definition at line 808 of file extensional.cpp.

Definition at line 809 of file extensional.cpp.

Definition at line 810 of file extensional.cpp.

Definition at line 811 of file extensional.cpp.

Definition at line 813 of file extensional.cpp.

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