#include <goto_symex_can_forward_propagate.h>
|
bool | is_constant (const exprt &expr) const override |
| This function determines what expressions are to be propagated as "constants".
|
virtual bool | is_constant_address_of (const exprt &) const |
| this function determines which reference-typed expressions are constant
|
◆ goto_symex_can_forward_propagatet()
goto_symex_can_forward_propagatet::goto_symex_can_forward_propagatet |
( |
const namespacet & | ns | ) |
|
|
inlineexplicit |
◆ is_constant()
bool goto_symex_can_forward_propagatet::is_constant |
( |
const exprt & | expr | ) |
const |
|
inlineoverrideprotectedvirtual |
The documentation for this class was generated from the following file: