cprover
string_builtin_function.h File Reference
#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_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...