cprover
loop_utils_is_constantt Member List

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

is_constant(const exprt &expr) const overrideloop_utils_is_constanttinlinevirtual
is_constant_address_of(const exprt &) constis_constanttprotectedvirtual
loop_utils_is_constantt(const modifiest &mod)loop_utils_is_constanttinlineexplicit
modifiesloop_utils_is_constanttprotected
operator()(const exprt &e) constis_constanttinline