cprover
|
A builtin function node contains a builtin function call. More...
#include <string_refinement_util.h>
Public Member Functions | |
builtin_function_nodet (std::unique_ptr< string_builtin_functiont > d, std::size_t i) | |
builtin_function_nodet (builtin_function_nodet &&other) | |
builtin_function_nodet & | operator= (builtin_function_nodet &&other) |
Public Attributes | |
std::size_t | index |
std::unique_ptr< string_builtin_functiont > | data |
A builtin function node contains a builtin function call.
Definition at line 172 of file string_refinement_util.h.
|
inlineexplicit |
Definition at line 180 of file string_refinement_util.h.
|
inline |
Definition at line 187 of file string_refinement_util.h.
|
inline |
Definition at line 192 of file string_refinement_util.h.
References index.
std::unique_ptr<string_builtin_functiont> string_dependenciest::builtin_function_nodet::data |
Definition at line 178 of file string_refinement_util.h.
Referenced by string_dependenciest::for_each_dependency(), and string_dependenciest::get_builtin_function().
std::size_t string_dependenciest::builtin_function_nodet::index |
Definition at line 176 of file string_refinement_util.h.
Referenced by string_dependenciest::add_dependency(), and operator=().