Generated on Wed Mar 19 07:30:05 2008 for Gecode by doxygen 1.5.5

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

Definition at line 409 of file extensional.cc.

Definition at line 410 of file extensional.cc.

Definition at line 412 of file extensional.cc.

Definition at line 414 of file extensional.cc.

Definition at line 415 of file extensional.cc.

Definition at line 416 of file extensional.cc.

Definition at line 417 of file extensional.cc.

Definition at line 419 of file extensional.cc.

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