extensional.cpp File Reference

#include "test/int.hh"
#include <gecode/minimodel.hh>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <string>

Go to the source code of this file.

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

Namespaces
namespace	Test
	General test support.
namespace	Test::Int
	Testing finite domain integers.
namespace	Test::Int::Extensional
	Tests for extensional (relation) constraints

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

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