cprover
constant_propagator_domaint::valuest Struct Reference

#include <constant_propagator.h>

Collaboration diagram for constant_propagator_domaint::valuest:
[legend]

Public Member Functions

 valuest ()
 
void output (std::ostream &, const namespacet &) const
 
bool merge (const valuest &src)
 join More...
 
bool meet (const valuest &src)
 meet More...
 
void set_to_bottom ()
 
void set_to (const irep_idt &lhs_id, const exprt &rhs_val)
 
void set_to (const symbol_exprt &lhs, const exprt &rhs_val)
 
bool is_constant (const exprt &expr) const
 
bool is_array_constant (const exprt &expr) const
 
bool is_constant_address_of (const exprt &expr) const
 
bool set_to_top (const irep_idt &id)
 Do not call this when iterating over replace_const.expr_map! More...
 
bool set_to_top (const symbol_exprt &expr)
 
void set_to_top ()
 

Public Attributes

replace_symbol_extt replace_const
 
bool is_bottom
 

Detailed Description

Definition at line 40 of file constant_propagator.h.

Constructor & Destructor Documentation

§ valuest()

constant_propagator_domaint::valuest::valuest ( )
inline

Definition at line 43 of file constant_propagator.h.

Member Function Documentation

§ is_array_constant()

bool constant_propagator_domaint::valuest::is_array_constant ( const exprt expr) const

§ is_constant()

§ is_constant_address_of()

bool constant_propagator_domaint::valuest::is_constant_address_of ( const exprt expr) const

§ meet()

bool constant_propagator_domaint::valuest::meet ( const valuest src)

meet

Returns
Return true if "this" has changed.

Definition at line 427 of file constant_propagator.cpp.

References replace_symbolt::expr_map, is_bottom, and replace_const.

Referenced by constant_propagator_domaint::two_way_propagate_rec().

§ merge()

bool constant_propagator_domaint::valuest::merge ( const valuest src)

join

Returns
Return true if "this" has changed.

Definition at line 381 of file constant_propagator.cpp.

References replace_symbolt::expr_map, is_bottom, and replace_const.

Referenced by constant_propagator_domaint::merge().

§ output()

void constant_propagator_domaint::valuest::output ( std::ostream &  out,
const namespacet ns 
) const

Definition at line 357 of file constant_propagator.cpp.

References from_expr().

Referenced by constant_propagator_domaint::output().

§ set_to() [1/2]

void constant_propagator_domaint::valuest::set_to ( const irep_idt lhs_id,
const exprt rhs_val 
)
inline

Definition at line 60 of file constant_propagator.h.

References replace_symbolt::expr_map.

Referenced by constant_propagator_domaint::assign(), and set_to().

§ set_to() [2/2]

void constant_propagator_domaint::valuest::set_to ( const symbol_exprt lhs,
const exprt rhs_val 
)
inline

§ set_to_bottom()

void constant_propagator_domaint::valuest::set_to_bottom ( )
inline

§ set_to_top() [1/3]

bool constant_propagator_domaint::valuest::set_to_top ( const irep_idt id)

§ set_to_top() [2/3]

bool constant_propagator_domaint::valuest::set_to_top ( const symbol_exprt expr)
inline

Definition at line 76 of file constant_propagator.h.

References symbol_exprt::get_identifier(), and set_to_top().

§ set_to_top() [3/3]

void constant_propagator_domaint::valuest::set_to_top ( )
inline

Definition at line 81 of file constant_propagator.h.

References replace_symbolt::clear().

Referenced by set_to(), and set_to_top().

Member Data Documentation

§ is_bottom

bool constant_propagator_domaint::valuest::is_bottom

Definition at line 47 of file constant_propagator.h.

Referenced by meet(), and merge().

§ replace_const


The documentation for this struct was generated from the following files: