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

Create Test::Int::Extensional::c

Definition at line 795 of file extensional.cpp.

RegSimpleA Test::Int::Extensional::ra

Definition at line 797 of file extensional.cpp.

RegSimpleB Test::Int::Extensional::rb

Definition at line 798 of file extensional.cpp.

RegSimpleC Test::Int::Extensional::rc

Definition at line 799 of file extensional.cpp.

RegDistinct Test::Int::Extensional::rd

Definition at line 801 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 808 of file extensional.cpp.

RegSharedB Test::Int::Extensional::rsb

Definition at line 809 of file extensional.cpp.

RegSharedC Test::Int::Extensional::rsc

Definition at line 810 of file extensional.cpp.

RegSharedD Test::Int::Extensional::rsd

Definition at line 811 of file extensional.cpp.

RegEmptyDFA Test::Int::Extensional::redfa

Definition at line 813 of file extensional.cpp.

RegEmptyREG Test::Int::Extensional::rereg

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