Tests for extensional (relation) constraints More...
Classes | |
class | RegDistinct |
Test with regular expression for distinct constraint More... | |
class | RegEmptyDFA |
Test for empty DFA More... | |
class | RegEmptyREG |
Test for empty regular expression More... | |
class | RegOpt |
Test for optimizations More... | |
class | RegRoland |
Test with simple regular expression from Roland Yap More... | |
class | RegSharedA |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | RegSharedB |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | RegSharedC |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | RegSharedD |
Test with simple regular expression and shared variables (uses unsharing) More... | |
class | RegSimpleA |
Test with simple regular expression More... | |
class | RegSimpleB |
Test with simple regular expression More... | |
class | RegSimpleC |
Test with simple regular expression More... | |
class | TupleSetA |
Test with tuple set More... | |
class | TupleSetB |
Test with tuple set More... | |
class | TupleSetBool |
Test with bool tuple set More... | |
Variables | |
RegSimpleA | ra |
RegSimpleB | rb |
RegSimpleC | rc |
RegDistinct | rd |
RegRoland | rr1 (1) |
RegRoland | rr2 (2) |
RegRoland | rr3 (3) |
RegRoland | rr4 (4) |
RegSharedA | rsa |
RegSharedB | rsb |
RegSharedC | rsc |
RegSharedD | rsd |
RegEmptyDFA | redfa |
RegEmptyREG | rereg |
RegOpt | ro0 (CHAR_MAX-1) |
RegOpt | ro1 (CHAR_MAX) |
RegOpt | ro2 (static_cast< int >(UCHAR_MAX-1)) |
RegOpt | ro3 (static_cast< int >(UCHAR_MAX)) |
RegOpt | ro4 (SHRT_MAX-1) |
RegOpt | ro5 (SHRT_MAX) |
RegOpt | ro6 (static_cast< int >(USHRT_MAX-1)) |
RegOpt | ro7 (static_cast< int >(USHRT_MAX)) |
TupleSetA | tsam (Gecode::IPL_MEMORY) |
TupleSetA | tsas (Gecode::IPL_SPEED) |
TupleSetB | tsbm (Gecode::IPL_MEMORY) |
TupleSetB | tsbs (Gecode::IPL_SPEED) |
TupleSetBool | tsboolm (Gecode::IPL_MEMORY, 0.3) |
TupleSetBool | tsbools (Gecode::IPL_SPEED, 0.3) |
Tests for extensional (relation) constraints
RegSimpleA Test::Int::Extensional::ra |
Definition at line 520 of file extensional.cpp.
RegSimpleB Test::Int::Extensional::rb |
Definition at line 521 of file extensional.cpp.
RegSimpleC Test::Int::Extensional::rc |
Definition at line 522 of file extensional.cpp.
RegDistinct Test::Int::Extensional::rd |
Definition at line 524 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 531 of file extensional.cpp.
RegSharedB Test::Int::Extensional::rsb |
Definition at line 532 of file extensional.cpp.
RegSharedC Test::Int::Extensional::rsc |
Definition at line 533 of file extensional.cpp.
RegSharedD Test::Int::Extensional::rsd |
Definition at line 534 of file extensional.cpp.
RegEmptyDFA Test::Int::Extensional::redfa |
Definition at line 536 of file extensional.cpp.
RegEmptyREG Test::Int::Extensional::rereg |
Definition at line 537 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)) |
TupleSetA Test::Int::Extensional::tsam(Gecode::IPL_MEMORY) |
TupleSetA Test::Int::Extensional::tsas(Gecode::IPL_SPEED) |
TupleSetB Test::Int::Extensional::tsbm(Gecode::IPL_MEMORY) |
TupleSetB Test::Int::Extensional::tsbs(Gecode::IPL_SPEED) |
TupleSetBool Test::Int::Extensional::tsboolm(Gecode::IPL_MEMORY, 0.3) |
TupleSetBool Test::Int::Extensional::tsbools(Gecode::IPL_SPEED, 0.3) |