Generic Containers

Generic containers used throughout the library. More...

Classes
class	CppClingo::Util::index_sequence< T >
	Container to store integer sequences. More...
class	CppClingo::Util::interval_set< T >
	A set of intervals. More...
class	CppClingo::Util::small_vector< T, N >
	A vector that misuses the begin, end and capacity pointers to store elements. More...

Typedefs
template<class Key , class T , class Hash = value_hasher, class KeyEqual = value_equal_to, class Allocator = std::allocator<std::pair<Key, T>>, class ValueTypeContainer = std::vector<std::pair<Key, T>, Allocator>, class IndexType = std::uint_least32_t>
using	CppClingo::Util::ordered_map = tsl::ordered_map< Key, T, Hash, KeyEqual, Allocator, ValueTypeContainer, IndexType >
	Alias for ordered maps.
template<class Key , class Hash = value_hasher, class KeyEqual = value_equal_to, class Allocator = std::allocator<Key>, class ValueTypeContainer = std::vector<Key, Allocator>, class IndexType = std::uint_least32_t>
using	CppClingo::Util::ordered_set = tsl::ordered_set< Key, Hash, KeyEqual, Allocator, ValueTypeContainer, IndexType >
	Alias for ordered sets.
template<class Key , class T , class Hash = value_hasher, class KeyEqual = value_equal_to, class Allocator = std::allocator<std::pair<Key, T>>, unsigned int NeighborhoodSize = default_neighborhood_size, bool StoreHash = false, class GrowthPolicy = tsl::hh::power_of_two_growth_policy<2>>
using	CppClingo::Util::unordered_map = tsl::hopscotch_map< Key, T, Hash, KeyEqual, Allocator, NeighborhoodSize, StoreHash, GrowthPolicy >
	Alias for unordered maps.
template<class Key , class Hash = value_hasher, class KeyEqual = value_equal_to, class Allocator = std::allocator<Key>, unsigned int NeighborhoodSize = default_neighborhood_size, bool StoreHash = false, class GrowthPolicy = tsl::hh::power_of_two_growth_policy<2>>
using	CppClingo::Util::unordered_set = tsl::hopscotch_set< Key, Hash, KeyEqual, Allocator, NeighborhoodSize, StoreHash, GrowthPolicy >
	Alias for unordered sets.

Detailed Description

Generic containers used throughout the library.