#include <store.h>
◆ compare_type
◆ key_t
◆ value_type
◆ cmp()
◆ cmp_ptr_ptr()
static int ana::symbolic_binding::cmp_ptr_ptr |
( |
const void * | , |
|
|
const void * | ) |
|
staticinherited |
◆ cmp_ptrs()
static int ana::binding_key::cmp_ptrs |
( |
const void * | , |
|
|
const void * | ) |
|
staticinherited |
◆ concrete_p()
bool ana::symbolic_binding::concrete_p |
( |
| ) |
const |
|
inlinefinaloverridevirtualinherited |
◆ dump()
void ana::binding_key::dump |
( |
bool | simple | ) |
const |
|
inherited |
◆ dump_to_pp()
|
finaloverridevirtualinherited |
◆ dyn_cast_concrete_binding()
virtual const concrete_binding * ana::binding_key::dyn_cast_concrete_binding |
( |
| ) |
const |
|
inlinevirtualinherited |
◆ dyn_cast_symbolic_binding()
const symbolic_binding * ana::symbolic_binding::dyn_cast_symbolic_binding |
( |
| ) |
const |
|
inlinefinaloverridevirtualinherited |
◆ equal()
◆ get_desc()
label_text ana::binding_key::get_desc |
( |
bool | simple = true | ) |
const |
|
inherited |
◆ get_region()
const region * ana::symbolic_binding::get_region |
( |
| ) |
const |
|
inlineinherited |
◆ hash() [1/2]
hashval_t ana::symbolic_binding::hash |
( |
| ) |
const |
|
inlineinherited |
◆ hash() [2/2]
◆ is_deleted() [1/2]
bool ana::symbolic_binding::is_deleted |
( |
| ) |
const |
|
inlineinherited |
◆ is_deleted() [2/2]
◆ is_empty() [1/2]
bool ana::symbolic_binding::is_empty |
( |
| ) |
const |
|
inlineinherited |
◆ is_empty() [2/2]
◆ make()
◆ mark_deleted() [1/2]
void ana::symbolic_binding::mark_deleted |
( |
| ) |
|
|
inlineinherited |
◆ mark_deleted() [2/2]
◆ mark_empty() [1/2]
void ana::symbolic_binding::mark_empty |
( |
| ) |
|
|
inlineinherited |
◆ mark_empty() [2/2]
◆ operator==()
◆ remove()
◆ symbolic_p()
bool ana::binding_key::symbolic_p |
( |
| ) |
const |
|
inlineinherited |
◆ empty_zero_p
◆ m_region
const region* ana::symbolic_binding::m_region |
|
privateinherited |
The documentation for this struct was generated from the following file: