cprover
|
This is the complete list of members for loop_utils_is_constantt, including all inherited members.
is_constant(const exprt &expr) const override | loop_utils_is_constantt | inlinevirtual |
is_constant_address_of(const exprt &) const | is_constantt | protectedvirtual |
loop_utils_is_constantt(const modifiest &mod) | loop_utils_is_constantt | inlineexplicit |
modifies | loop_utils_is_constantt | protected |
operator()(const exprt &e) const | is_constantt | inline |