Main Page
Related Pages
Classes
Files
S
earch for
Class List
Class Hierarchy
Class Members
explicit_storage_t Member List
This is the complete list of members for
explicit_storage_t
, including all inherited members.
app_by_ref
(state_ref_t refer)
explicit_storage_t
appendix_size
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
col_init_size
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
col_resize
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
compression_method
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
compressor
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
delete_all_states
(bool leave_collision_lists=false)
explicit_storage_t
delete_by_ref
(state_ref_t)
explicit_storage_t
errvec
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
explicit_storage_t
(divine::error_vector_t &=gerr)
explicit_storage_t
get_app_by_ref
(state_ref_t refer, appendix_t &result)
explicit_storage_t
[inline]
get_coltables
()
explicit_storage_t
get_ht_occupancy
()
explicit_storage_t
get_max_coltable
()
explicit_storage_t
get_mem_max_used
()
explicit_storage_t
get_mem_used
()
explicit_storage_t
get_states_max_stored
()
explicit_storage_t
get_states_stored
()
explicit_storage_t
hasher
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
ht_size
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
init
()
explicit_storage_t
initialized
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
insert
(state_t)
explicit_storage_t
insert
(state_t, state_ref_t &)
explicit_storage_t
is_stored
(state_t)
explicit_storage_t
is_stored
(state_t, state_ref_t &)
explicit_storage_t
is_stored_if_not_insert
(state_t, state_ref_t &)
explicit_storage_t
mem_counting
(int) (defined in
explicit_storage_t
)
explicit_storage_t
[protected]
mem_limit
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
mem_max_used
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
mem_used
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
reconstruct
(state_ref_t)
explicit_storage_t
set_app_by_ref
(state_ref_t refer, appendix_t appen)
explicit_storage_t
[inline]
set_appendix
(appendix_t)
explicit_storage_t
[inline]
set_appendix_size
(size_t)
explicit_storage_t
set_col_init_size
(size_t)
explicit_storage_t
set_col_resize
(size_t)
explicit_storage_t
set_compression_method
(size_t)
explicit_storage_t
set_hash_function
(hash_functions_t)
explicit_storage_t
set_ht_size
(size_t)
explicit_storage_t
set_mem_limit
(size_t)
explicit_storage_t
storage
(defined in
explicit_storage_t
)
explicit_storage_t
[protected]
Reference Manual for Library, 2006 developed in
ParaDiSe
laboratory,
Faculty of Informatics
,
Masaryk University