Extensional (relation) constraints
[Testing finite domain integers]
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)) |