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

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

Protected Attributes
const replace_symbolt &	replace_const

Protected Attributes inherited from can_forward_propagatet
const namespacet &	ns

Detailed Description

Definition at line 419 of file constant_propagator.cpp.

Constructor & Destructor Documentation

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.

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

inlineoverrideprotectedvirtual

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

Definition at line 435 of file constant_propagator.cpp.

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

inline

Definition at line 429 of file constant_propagator.cpp.

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: