cprover
|
#include <reaching_definitions.h>
Public Member Functions | |
const V & | get (const std::size_t value_index) const |
std::size_t | add (const V &value) |
void | clear () |
Protected Types | |
typedef std::map< V, std::size_t > | inner_mapt |
Protected Attributes | |
std::vector< typename inner_mapt::const_iterator > | values |
std::unordered_map< irep_idt, inner_mapt, irep_id_hash > | value_map |
Definition at line 32 of file reaching_definitions.h.
|
protected |
Definition at line 61 of file reaching_definitions.h.
|
inline |
Definition at line 41 of file reaching_definitions.h.
Referenced by rd_range_domaint::gen(), and rd_range_domaint::kill().
|
inline |
Definition at line 54 of file reaching_definitions.h.
|
inline |
Definition at line 35 of file reaching_definitions.h.
Referenced by dep_graph_domaint::data_dependencies(), rd_range_domaint::kill(), rd_range_domaint::populate_cache(), and rd_range_domaint::transform_end_function().
|
protected |
Definition at line 63 of file reaching_definitions.h.
Referenced by sparse_bitvector_analysist< reaching_definitiont >::add(), and sparse_bitvector_analysist< reaching_definitiont >::clear().
|
protected |
Definition at line 62 of file reaching_definitions.h.
Referenced by sparse_bitvector_analysist< reaching_definitiont >::add(), sparse_bitvector_analysist< reaching_definitiont >::clear(), sparse_bitvector_analysist< reaching_definitiont >::get(), rd_range_domaint::make_bottom(), rd_range_domaint::make_top(), and rd_range_domaint::transform_end_function().