CBMC
goto_symex_can_forward_propagatet Class Reference

#include <goto_symex_can_forward_propagate.h>

+ Inheritance diagram for goto_symex_can_forward_propagatet:
+ Collaboration diagram for goto_symex_can_forward_propagatet:

Public Member Functions

 goto_symex_can_forward_propagatet (const namespacet &ns)
 
- 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...
 

Additional Inherited Members

- Protected Attributes inherited from can_forward_propagatet
const namespacetns
 

Detailed Description

Definition at line 18 of file goto_symex_can_forward_propagate.h.

Constructor & Destructor Documentation

◆ goto_symex_can_forward_propagatet()

goto_symex_can_forward_propagatet::goto_symex_can_forward_propagatet ( const namespacet ns)
inlineexplicit

Definition at line 21 of file goto_symex_can_forward_propagate.h.

Member Function Documentation

◆ is_constant()

bool goto_symex_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 27 of file goto_symex_can_forward_propagate.h.


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