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

is_constant(const exprt &) const	is_constantt	protectedvirtual
is_constant_address_of(const exprt &) const	is_constantt	protectedvirtual
operator()(const exprt &e) const	is_constantt	inline