Tests for extensional (relation) constraints More...

Classes
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	RegDistinct
	Test with regular expression for distinct constraint 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	RegEmptyDFA
	Test for empty DFA More...
class	RegEmptyREG
	Test for empty regular expression More...
class	RegOpt
	Test for optimizations More...
class	TupleSetBase
	Test with tuple set More...
class	TupleSetTest
	Test with tuple set More...
class	RandomTupleSetTest
class	SparseTupleSetUnary
	Sparse smoke test for very low-density unary tuple sets. More...
class	SparseTupleSetTernary
	Sparse smoke test for low-density ternary tuple sets. More...
class	SparseTupleSetHighArity
	Sparse smoke test for low-density higher-arity tuple sets. More...
class	SparseTupleSetNullary
	Sparse smoke test for nullary tuple sets. More...
class	SparseTupleSetIncrementalDelta
	Sparse incremental smoke test for repeated and mixed delta updates. More...
class	SparseTupleSetIncrementalAssign
	Sparse incremental test for assigned-variable advisor updates. More...
class	SparseTupleSetIncrementalBool
	Sparse incremental test for BoolView specialization. More...
class	SparseTupleSetDisabledFailure
	Disabled sparse propagators must defer failure until re-enabled. More...
class	SparseTupleSetWideDelta
	Sparse delta processing must depend on supports, not numeric width. More...
class	SparseTupleSetNegative
	Sparse smoke test for negative tuple-set posting. More...
class	SparseTupleSetReified
	Sparse smoke test for reified tuple-set posting. More...
class	TupleSetSingleRepresentation
	Sparse/compressed tuplesets should materialize only requested support. More...
class	TupleSetSupportOffsetBoundary
	Sparse offset arrays need a representable terminal entry. More...
class	TupleSetTerminalFinalizationFailure
	Failed finalization is terminal and cannot expose partial support data. More...
class	TupleSetDFARepresentation
	DFA-derived tuple sets preserve the requested support representation. More...
class	TupleSetDisabledClone
	Disabled compact propagators preserve pending work when cloned. More...
class	TupleSetAutoDefaultDispatch
	AUTO finalization should work with default tuple-set posting overloads. More...
class	DenseCompressedTupleSetWideGap
	Dense-compressed iterators should skip unsupported value gaps. More...
class	SparseTupleSetNegativeFail
	Sparse negative should fail if all combinations are forbidden. More...
class	SparseTupleSetNegativePrune
	Sparse negative should prune values whose completions are all forbidden. More...
class	SparseTupleSetReifiedModes
	Sparse reified posting should support all reify modes for positive/negative. More...
class	TupleSetLarge
	Test with large tuple set More...
class	TupleSetBool
	Test with bool tuple set More...
class	TupleSetTestSize
	Help class to create and register tests with a fixed table size. More...
class	Create
	Help class to create and register tests. More...

Functions
std::string	extensional_kind_name (Gecode::ExtensionalPropKind epk)
Gecode::DFA	tupleset2dfa (Gecode::TupleSet ts)
	% Transform a TupleSet into a DFA
Gecode::TupleSet	randomTupleSet (int n, int min, int max, double prob, Gecode::ExtensionalPropKind epk, Gecode::Support::RandomGenerator &rand)

Variables
Create	c
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))
SparseTupleSetUnary	sparse_tuple_set_unary
SparseTupleSetTernary	sparse_tuple_set_ternary
SparseTupleSetHighArity	sparse_tuple_set_high_arity
SparseTupleSetNullary	sparse_tuple_set_nullary
SparseTupleSetIncrementalDelta	sparse_tuple_set_incremental_delta
SparseTupleSetIncrementalAssign	sparse_tuple_set_incremental_assign
SparseTupleSetIncrementalBool	sparse_tuple_set_incremental_bool
SparseTupleSetDisabledFailure	sparse_tuple_set_disabled_failure
SparseTupleSetWideDelta	sparse_tuple_set_wide_delta
SparseTupleSetNegative	sparse_tuple_set_negative
SparseTupleSetReified	sparse_tuple_set_reified
TupleSetSingleRepresentation	tuple_set_single_representation
TupleSetSupportOffsetBoundary	tuple_set_support_offset_boundary
TupleSetTerminalFinalizationFailure	tuple_set_terminal_failure
TupleSetDFARepresentation	tuple_set_dfa_representation
TupleSetDisabledClone	tuple_set_disabled_clone
TupleSetAutoDefaultDispatch	tuple_set_auto_default_dispatch
DenseCompressedTupleSetWideGap	dense_compressed_tuple_set_wide_gap
SparseTupleSetNegativeFail	sparse_tuple_set_negative_fail
SparseTupleSetNegativePrune	sparse_tuple_set_negative_prune
SparseTupleSetReifiedModes	sparse_tuple_set_reified_modes

Detailed Description

Tests for extensional (relation) constraints

Function Documentation

◆ extensional_kind_name()

std::string Test::Int::Extensional::extensional_kind_name ( Gecode::ExtensionalPropKind epk )

Definition at line 57 of file extensional.cpp.

◆ tupleset2dfa()

Gecode::DFA Test::Int::Extensional::tupleset2dfa ( Gecode::TupleSet ts )

% Transform a TupleSet into a DFA

Definition at line 396 of file extensional.cpp.

◆ randomTupleSet()

Gecode::TupleSet Test::Int::Extensional::randomTupleSet	(	int	n,
		int	min,
		int	max,
		double	prob,
		Gecode::ExtensionalPropKind	epk,
		Gecode::Support::RandomGenerator &	rand )

Definition at line 1954 of file extensional.cpp.

Variable Documentation

◆ c

Create Test::Int::Extensional::c

Definition at line 2128 of file extensional.cpp.

◆ ra

RegSimpleA Test::Int::Extensional::ra

Definition at line 2130 of file extensional.cpp.

◆ rb

RegSimpleB Test::Int::Extensional::rb

Definition at line 2131 of file extensional.cpp.

◆ rc

RegSimpleC Test::Int::Extensional::rc

Definition at line 2132 of file extensional.cpp.

◆ rd

RegDistinct Test::Int::Extensional::rd

Definition at line 2134 of file extensional.cpp.

◆ rr1

RegRoland Test::Int::Extensional::rr1(1) ( 1 )

◆ rr2

RegRoland Test::Int::Extensional::rr2(2) ( 2 )

◆ rr3

RegRoland Test::Int::Extensional::rr3(3) ( 3 )

◆ rr4

RegRoland Test::Int::Extensional::rr4(4) ( 4 )

◆ rsa

RegSharedA Test::Int::Extensional::rsa

Definition at line 2141 of file extensional.cpp.

◆ rsb

RegSharedB Test::Int::Extensional::rsb

Definition at line 2142 of file extensional.cpp.

◆ rsc

RegSharedC Test::Int::Extensional::rsc

Definition at line 2143 of file extensional.cpp.

◆ rsd

RegSharedD Test::Int::Extensional::rsd

Definition at line 2144 of file extensional.cpp.

◆ redfa

RegEmptyDFA Test::Int::Extensional::redfa

Definition at line 2146 of file extensional.cpp.

◆ rereg

RegEmptyREG Test::Int::Extensional::rereg

Definition at line 2147 of file extensional.cpp.

◆ ro0

RegOpt Test::Int::Extensional::ro0(CHAR_MAX-1) ( CHAR_MAX- 1 )

◆ ro1

RegOpt Test::Int::Extensional::ro1(CHAR_MAX) ( CHAR_MAX )

◆ ro2

RegOpt Test::Int::Extensional::ro2(static_cast< int >(UCHAR_MAX-1)) ( static_cast< int > UCHAR_MAX-1 )

◆ ro3

RegOpt Test::Int::Extensional::ro3(static_cast< int >(UCHAR_MAX)) ( static_cast< int > UCHAR_MAX )

◆ ro4

RegOpt Test::Int::Extensional::ro4(SHRT_MAX-1) ( SHRT_MAX- 1 )

◆ ro5

RegOpt Test::Int::Extensional::ro5(SHRT_MAX) ( SHRT_MAX )

◆ ro6

RegOpt Test::Int::Extensional::ro6(static_cast< int >(USHRT_MAX-1)) ( static_cast< int > USHRT_MAX-1 )

◆ ro7

RegOpt Test::Int::Extensional::ro7(static_cast< int >(USHRT_MAX)) ( static_cast< int > USHRT_MAX )

◆ sparse_tuple_set_unary

SparseTupleSetUnary Test::Int::Extensional::sparse_tuple_set_unary

Definition at line 2158 of file extensional.cpp.

◆ sparse_tuple_set_ternary

SparseTupleSetTernary Test::Int::Extensional::sparse_tuple_set_ternary

Definition at line 2159 of file extensional.cpp.

◆ sparse_tuple_set_high_arity

SparseTupleSetHighArity Test::Int::Extensional::sparse_tuple_set_high_arity

Definition at line 2160 of file extensional.cpp.

◆ sparse_tuple_set_nullary

SparseTupleSetNullary Test::Int::Extensional::sparse_tuple_set_nullary

Definition at line 2161 of file extensional.cpp.

◆ sparse_tuple_set_incremental_delta

SparseTupleSetIncrementalDelta Test::Int::Extensional::sparse_tuple_set_incremental_delta

Definition at line 2162 of file extensional.cpp.

◆ sparse_tuple_set_incremental_assign

SparseTupleSetIncrementalAssign Test::Int::Extensional::sparse_tuple_set_incremental_assign

Definition at line 2163 of file extensional.cpp.

◆ sparse_tuple_set_incremental_bool

SparseTupleSetIncrementalBool Test::Int::Extensional::sparse_tuple_set_incremental_bool

Definition at line 2164 of file extensional.cpp.

◆ sparse_tuple_set_disabled_failure

SparseTupleSetDisabledFailure Test::Int::Extensional::sparse_tuple_set_disabled_failure

Definition at line 2165 of file extensional.cpp.

◆ sparse_tuple_set_wide_delta

SparseTupleSetWideDelta Test::Int::Extensional::sparse_tuple_set_wide_delta

Definition at line 2166 of file extensional.cpp.

◆ sparse_tuple_set_negative

SparseTupleSetNegative Test::Int::Extensional::sparse_tuple_set_negative

Definition at line 2167 of file extensional.cpp.

◆ sparse_tuple_set_reified

SparseTupleSetReified Test::Int::Extensional::sparse_tuple_set_reified

Definition at line 2168 of file extensional.cpp.

◆ tuple_set_single_representation

TupleSetSingleRepresentation Test::Int::Extensional::tuple_set_single_representation

Definition at line 2169 of file extensional.cpp.

◆ tuple_set_support_offset_boundary

TupleSetSupportOffsetBoundary Test::Int::Extensional::tuple_set_support_offset_boundary

Definition at line 2170 of file extensional.cpp.

◆ tuple_set_terminal_failure

TupleSetTerminalFinalizationFailure Test::Int::Extensional::tuple_set_terminal_failure

Definition at line 2171 of file extensional.cpp.

◆ tuple_set_dfa_representation

TupleSetDFARepresentation Test::Int::Extensional::tuple_set_dfa_representation

Definition at line 2172 of file extensional.cpp.

◆ tuple_set_disabled_clone

TupleSetDisabledClone Test::Int::Extensional::tuple_set_disabled_clone

Definition at line 2173 of file extensional.cpp.

◆ tuple_set_auto_default_dispatch

TupleSetAutoDefaultDispatch Test::Int::Extensional::tuple_set_auto_default_dispatch

Definition at line 2174 of file extensional.cpp.

◆ dense_compressed_tuple_set_wide_gap

DenseCompressedTupleSetWideGap Test::Int::Extensional::dense_compressed_tuple_set_wide_gap

Definition at line 2175 of file extensional.cpp.

◆ sparse_tuple_set_negative_fail

SparseTupleSetNegativeFail Test::Int::Extensional::sparse_tuple_set_negative_fail

Definition at line 2176 of file extensional.cpp.

◆ sparse_tuple_set_negative_prune

SparseTupleSetNegativePrune Test::Int::Extensional::sparse_tuple_set_negative_prune

Definition at line 2177 of file extensional.cpp.

◆ sparse_tuple_set_reified_modes

SparseTupleSetReifiedModes Test::Int::Extensional::sparse_tuple_set_reified_modes

Definition at line 2178 of file extensional.cpp.

Classes

Functions

Variables