cprover
|
#include <vector>
#include <util/optional.h>
#include <util/string_expr.h>
#include "string_constraint_generator.h"
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 '?' |
#define CHARACTER_FOR_UNKNOWN '?' |
Definition at line 14 of file string_builtin_function.h.
Referenced by string_refinementt::add_lemma(), string_concat_char_builtin_functiont::eval(), string_refinementt::get(), and get_array().