Derived Types

TypeLocationExtendsDescription
bitset_64stdlib_bitsetsbitset_type

Type for bitsets with no more than 64 bits (Specification)

bitset_largestdlib_bitsetsbitset_type

Type for bitsets with more than 64 bits (Specification)

bitset_typestdlib_bitsetsNone

Parent type for bitset_64 and bitset_large (Specification)

chaining_hashmap_typestdlib_hashmapshashmap_type

Type implementing the chaining_hashmap_type types (Specifications)

hashmap_typestdlib_hashmapsNone

Type implementing an abstract hash map (Specifications)

key_typestdlib_hashmap_wrappersNone

A wrapper type for the key's true type

logger_typestdlib_loggerNone

Public derived type (Specification)

open_hashmap_typestdlib_hashmapshashmap_type

Type implementing an "open" hash map

other_typestdlib_hashmap_wrappersNone

A wrapper type for the other data's true type

string_typestdlib_string_typeNone

String type holding an arbitrary sequence of characters.

stringlist_index_typestdlib_stringlist_typeNone
stringlist_typestdlib_stringlist_typeNone
type~~graph~~TypeGraph type~open_hashmap_type open_hashmap_type type~hashmap_type hashmap_type type~open_hashmap_type->type~hashmap_type type~open_map_entry_pool open_map_entry_pool type~open_hashmap_type->type~open_map_entry_pool cache type~open_map_entry_ptr open_map_entry_ptr type~open_hashmap_type->type~open_map_entry_ptr inverse type~open_map_entry_list open_map_entry_list type~open_hashmap_type->type~open_map_entry_list free_list type~bitset_large bitset_large type~bitset_type bitset_type type~bitset_large->type~bitset_type type~other_type other_type type~string_type string_type type~bitset_64 bitset_64 type~bitset_64->type~bitset_type type~key_type key_type type~chaining_hashmap_type chaining_hashmap_type type~chaining_hashmap_type->type~hashmap_type type~chaining_map_entry_pool chaining_map_entry_pool type~chaining_hashmap_type->type~chaining_map_entry_pool cache type~chaining_map_entry_type chaining_map_entry_type type~chaining_hashmap_type->type~chaining_map_entry_type free_list type~chaining_map_entry_ptr chaining_map_entry_ptr type~chaining_hashmap_type->type~chaining_map_entry_ptr inverse, slots type~stringlist_type stringlist_type type~stringlist_type->type~string_type stringarray type~stringlist_index_type stringlist_index_type type~logger_type logger_type
Help