CBMC
constant_propagator_can_forward_propagatet Class Reference
+ Inheritance diagram for constant_propagator_can_forward_propagatet:
+ Collaboration diagram for constant_propagator_can_forward_propagatet:

Public Member Functions

 constant_propagator_can_forward_propagatet (const replace_symbolt &replace_const, const namespacet &ns)
 
bool is_constant (const irep_idt &id) const
 
- Public Member Functions inherited from can_forward_propagatet
 can_forward_propagatet (const namespacet &ns)
 
bool operator() (const exprt &e) const
 returns true iff the expression can be considered constant More...
 

Protected Member Functions

bool is_constant (const exprt &expr) const override
 This function determines what expressions are to be propagated as "constants". More...
 
- Protected Member Functions inherited from can_forward_propagatet
virtual bool is_constant_address_of (const exprt &) const
 this function determines which reference-typed expressions are constant More...
 

Protected Attributes

const replace_symboltreplace_const
 
- Protected Attributes inherited from can_forward_propagatet
const namespacetns
 

Detailed Description

Definition at line 419 of file constant_propagator.cpp.

Constructor & Destructor Documentation

◆ constant_propagator_can_forward_propagatet()

constant_propagator_can_forward_propagatet::constant_propagator_can_forward_propagatet ( const replace_symbolt replace_const,
const namespacet ns 
)
inline

Definition at line 422 of file constant_propagator.cpp.

Member Function Documentation

◆ is_constant() [1/2]

bool constant_propagator_can_forward_propagatet::is_constant ( const exprt expr) const
inlineoverrideprotectedvirtual

This function determines what expressions are to be propagated as "constants".

Reimplemented from can_forward_propagatet.

Definition at line 435 of file constant_propagator.cpp.

◆ is_constant() [2/2]

bool constant_propagator_can_forward_propagatet::is_constant ( const irep_idt id) const
inline

Definition at line 429 of file constant_propagator.cpp.

Member Data Documentation

◆ replace_const

const replace_symbolt& constant_propagator_can_forward_propagatet::replace_const
protected

Definition at line 443 of file constant_propagator.cpp.


The documentation for this class was generated from the following file: