#include <constant_propagator.h>
Definition at line 78 of file constant_propagator.h.
◆ is_bot()
bool constant_propagator_domaint::valuest::is_bot |
( |
| ) |
const |
|
inline |
◆ is_constant() [1/2]
bool constant_propagator_domaint::valuest::is_constant |
( |
const exprt & | expr, |
|
|
const namespacet & | ns ) const |
◆ is_constant() [2/2]
bool constant_propagator_domaint::valuest::is_constant |
( |
const irep_idt & | id, |
|
|
const namespacet & | ns ) const |
◆ is_empty()
bool constant_propagator_domaint::valuest::is_empty |
( |
| ) |
const |
|
inline |
◆ is_top()
bool constant_propagator_domaint::valuest::is_top |
( |
| ) |
const |
|
inline |
◆ meet()
bool constant_propagator_domaint::valuest::meet |
( |
const valuest & | src, |
|
|
const namespacet & | ns ) |
◆ merge()
bool constant_propagator_domaint::valuest::merge |
( |
const valuest & | src | ) |
|
◆ output()
void constant_propagator_domaint::valuest::output |
( |
std::ostream & | out, |
|
|
const namespacet & | ns ) const |
◆ set_dirty_to_top()
void constant_propagator_domaint::valuest::set_dirty_to_top |
( |
const dirtyt & | dirty, |
|
|
const namespacet & | ns ) |
◆ set_to()
void constant_propagator_domaint::valuest::set_to |
( |
const symbol_exprt & | lhs, |
|
|
const exprt & | rhs ) |
|
inline |
◆ set_to_bottom()
void constant_propagator_domaint::valuest::set_to_bottom |
( |
| ) |
|
|
inline |
◆ set_to_top() [1/2]
void constant_propagator_domaint::valuest::set_to_top |
( |
| ) |
|
|
inline |
◆ set_to_top() [2/2]
bool constant_propagator_domaint::valuest::set_to_top |
( |
const symbol_exprt & | expr | ) |
|
◆ is_bottom
bool constant_propagator_domaint::valuest::is_bottom = true |
◆ replace_const
The documentation for this struct was generated from the following files: