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_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_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... | |