Extensional (relation) constraints
[Testing finite domain integers]
Variable Documentation
RegSimpleA Test::Int::Extensional::ra |
Definition at line 409 of file extensional.cc.
RegSimpleB Test::Int::Extensional::rb |
Definition at line 410 of file extensional.cc.
RegDistinct Test::Int::Extensional::rd |
Definition at line 412 of file extensional.cc.
RegSharedA Test::Int::Extensional::rsa |
Definition at line 414 of file extensional.cc.
RegSharedB Test::Int::Extensional::rsb |
Definition at line 415 of file extensional.cc.
RegSharedC Test::Int::Extensional::rsc |
Definition at line 416 of file extensional.cc.
RegSharedD Test::Int::Extensional::rsd |
Definition at line 417 of file extensional.cc.
RegEmptyDFA Test::Int::Extensional::redfa |
Definition at line 419 of file extensional.cc.
RegEmptyREG Test::Int::Extensional::rereg |
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) |