#include <vector>#include <util/optional.h>#include <util/string_expr.h>#include "string_constraint_generator.h"
Include dependency graph for string_builtin_function.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | string_builtin_functiont |
| Base class for string functions that are built in the solver. More... | |
| class | string_transformation_builtin_functiont |
| String builtin_function transforming one string into another. More... | |
| class | string_concat_char_builtin_functiont |
| Adding a character at the end of a string. More... | |
| class | string_set_char_builtin_functiont |
| Setting a character at a particular position of a string. More... | |
| class | string_to_lower_case_builtin_functiont |
| Converting each uppercase character of Basic Latin and Latin-1 supplement to the corresponding lowercase character. More... | |
| class | string_to_upper_case_builtin_functiont |
| Converting each lowercase character of Basic Latin and Latin-1 supplement to the corresponding uppercase character. More... | |
| class | string_insertion_builtin_functiont |
| String inserting a string into another one. More... | |
| class | string_concatenation_builtin_functiont |
| class | string_creation_builtin_functiont |
| String creation from other types. More... | |
| class | string_of_int_builtin_functiont |
| String creation from integer types. More... | |
| class | string_test_builtin_functiont |
| String test. More... | |
| class | string_builtin_function_with_no_evalt |
| Functions that are not yet supported in this class but are supported by string_constraint_generatort. More... | |
Macros | |
| #define | CHARACTER_FOR_UNKNOWN '?' |
Macro Definition Documentation
◆ CHARACTER_FOR_UNKNOWN
| #define CHARACTER_FOR_UNKNOWN '?' |
Definition at line 16 of file string_builtin_function.h.
