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_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   '?'