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::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::TupleSetA
	Test with tuple set. More...
class	Test::Int::Extensional::TupleSetB
	Test with tuple set. More...
class	Test::Int::Extensional::TupleSetBool
	Test with bool tuple set. More...
Variables
RegSimpleA	Test::Int::Extensional::ra
RegSimpleB	Test::Int::Extensional::rb
RegSimpleC	Test::Int::Extensional::rc
RegDistinct	Test::Int::Extensional::rd
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
TupleSetA	Test::Int::Extensional::tsam (Gecode::PK_MEMORY)
TupleSetA	Test::Int::Extensional::tsas (Gecode::PK_SPEED)
TupleSetB	Test::Int::Extensional::tsbm (Gecode::PK_MEMORY)
TupleSetB	Test::Int::Extensional::tsbs (Gecode::PK_SPEED)
TupleSetBool	Test::Int::Extensional::tsboolm (Gecode::PK_MEMORY, 0.3)
TupleSetBool	Test::Int::Extensional::tsbools (Gecode::PK_SPEED, 0.3)

---

Variable Documentation

RegSimpleA Test::Int::Extensional::ra

Definition at line 445 of file extensional.cc.

RegSimpleB Test::Int::Extensional::rb

Definition at line 446 of file extensional.cc.

RegSimpleC Test::Int::Extensional::rc

Definition at line 447 of file extensional.cc.

RegDistinct Test::Int::Extensional::rd

Definition at line 449 of file extensional.cc.

RegSharedA Test::Int::Extensional::rsa

Definition at line 451 of file extensional.cc.

RegSharedB Test::Int::Extensional::rsb

Definition at line 452 of file extensional.cc.

RegSharedC Test::Int::Extensional::rsc

Definition at line 453 of file extensional.cc.

RegSharedD Test::Int::Extensional::rsd

Definition at line 454 of file extensional.cc.

RegEmptyDFA Test::Int::Extensional::redfa

Definition at line 456 of file extensional.cc.

RegEmptyREG Test::Int::Extensional::rereg

Definition at line 457 of file extensional.cc.

TupleSetA Test::Int::Extensional::tsam(Gecode::PK_MEMORY)

TupleSetA Test::Int::Extensional::tsas(Gecode::PK_SPEED)

TupleSetB Test::Int::Extensional::tsbm(Gecode::PK_MEMORY)

TupleSetB Test::Int::Extensional::tsbs(Gecode::PK_SPEED)

TupleSetBool Test::Int::Extensional::tsboolm(Gecode::PK_MEMORY, 0.3)

TupleSetBool Test::Int::Extensional::tsbools(Gecode::PK_SPEED, 0.3)