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