This is the complete list of members for constant_propagator_can_forward_propagatet, including all inherited members.

can_forward_propagatet(const namespacet &ns)	can_forward_propagatet	inlineexplicit
constant_propagator_can_forward_propagatet(const replace_symbolt &replace_const, const namespacet &ns)	constant_propagator_can_forward_propagatet	inline
is_constant(const irep_idt &id) const	constant_propagator_can_forward_propagatet	inline
is_constant(const exprt &expr) const override	constant_propagator_can_forward_propagatet	inlineprotectedvirtual
is_constant_address_of(const exprt &) const	can_forward_propagatet	protectedvirtual
ns	can_forward_propagatet	protected
operator()(const exprt &e) const	can_forward_propagatet	inline
replace_const	constant_propagator_can_forward_propagatet	protected