CBMC: Member List

array_pool string_builtin_functiont protected

character string_concat_char_builtin_functiont

constraints(string_constraint_generatort &generator, message_handlert &message_handlert) const override string_concat_char_builtin_functiont virtual

eval(const std::function< exprt(const exprt &)> &get_value) const override string_concat_char_builtin_functiont virtual

input string_transformation_builtin_functiont

length_constraint() const override string_concat_char_builtin_functiont virtual

maybe_testing_function() const override string_transformation_builtin_functiont inlinevirtual

name() const override string_concat_char_builtin_functiont inlinevirtual

result string_transformation_builtin_functiont

return_code string_builtin_functiont

string_arguments() const override string_transformation_builtin_functiont inlinevirtual

string_builtin_functiont()=delete string_builtin_functiont

string_builtin_functiont(const string_builtin_functiont &)=delete string_builtin_functiont

string_builtin_functiont(exprt return_code, array_poolt &array_pool) string_builtin_functiont inlineprotected

string_concat_char_builtin_functiont(const exprt &return_code, const std::vector< exprt > &fun_args, array_poolt &array_pool) string_concat_char_builtin_functiont inline

string_result() const override string_transformation_builtin_functiont inlinevirtual

string_transformation_builtin_functiont(exprt return_code, array_string_exprt result, array_string_exprt input, array_poolt &array_pool) string_transformation_builtin_functiont inline

string_transformation_builtin_functiont(const exprt &return_code, const std::vector< exprt > &fun_args, array_poolt &array_pool) string_transformation_builtin_functiont

~string_builtin_functiont()=default string_builtin_functiont virtual