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

Protected Member Functions
bool	is_constant (const exprt &expr) const override
	This function determines what expressions are to be propagated as "constants".
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

Additional Inherited Members
Protected Attributes inherited from can_forward_propagatet
const namespacet &	ns

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:

• goto-symex/goto_symex_can_forward_propagate.h