cprover
|
#include <constant_propagator.h>
Public Member Functions | |
bool | merge (const valuest &src) |
join | |
bool | meet (const valuest &src, const namespacet &ns) |
meet | |
void | set_to_bottom () |
void | set_to_top () |
bool | is_bot () const |
bool | is_top () const |
void | set_to (const symbol_exprt &lhs, const exprt &rhs) |
bool | set_to_top (const symbol_exprt &expr) |
Do not call this when iterating over replace_const.expr_map! | |
void | set_dirty_to_top (const dirtyt &dirty, const namespacet &ns) |
bool | is_constant (const exprt &expr) const |
bool | is_constant (const irep_idt &id) const |
bool | is_empty () const |
void | output (std::ostream &out, const namespacet &ns) const |
Public Attributes | |
address_of_aware_replace_symbolt | replace_const |
bool | is_bottom = true |
Definition at line 83 of file constant_propagator.h.
|
inline |
Definition at line 106 of file constant_propagator.h.
Definition at line 446 of file constant_propagator.cpp.
Definition at line 451 of file constant_propagator.cpp.
|
inline |
Definition at line 130 of file constant_propagator.h.
|
inline |
Definition at line 111 of file constant_propagator.h.
bool constant_propagator_domaint::valuest::meet | ( | const valuest & | src, |
const namespacet & | ns | ||
) |
meet
Definition at line 601 of file constant_propagator.cpp.
join
Definition at line 530 of file constant_propagator.cpp.
void constant_propagator_domaint::valuest::output | ( | std::ostream & | out, |
const namespacet & | ns | ||
) | const |
Definition at line 493 of file constant_propagator.cpp.
void constant_propagator_domaint::valuest::set_dirty_to_top | ( | const dirtyt & | dirty, |
const namespacet & | ns | ||
) |
Definition at line 468 of file constant_propagator.cpp.
|
inline |
Definition at line 116 of file constant_propagator.h.
|
inline |
Definition at line 94 of file constant_propagator.h.
|
inline |
Definition at line 100 of file constant_propagator.h.
bool constant_propagator_domaint::valuest::set_to_top | ( | const symbol_exprt & | expr | ) |
Do not call this when iterating over replace_const.expr_map!
Definition at line 457 of file constant_propagator.cpp.
Definition at line 87 of file constant_propagator.h.
address_of_aware_replace_symbolt constant_propagator_domaint::valuest::replace_const |
Definition at line 86 of file constant_propagator.h.