CBMC
Public Member Functions | Public Attributes | List of all members
string_dependenciest::builtin_function_nodet Class Reference

A builtin function node contains a builtin function call. More...

#include <string_dependencies.h>

+ Collaboration diagram for string_dependenciest::builtin_function_nodet:

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
 

Detailed Description

A builtin function node contains a builtin function call.

Definition at line 26 of file string_dependencies.h.

Constructor & Destructor Documentation

◆ builtin_function_nodet() [1/2]

string_dependenciest::builtin_function_nodet::builtin_function_nodet ( std::unique_ptr< string_builtin_functiont >  d,
std::size_t  i 
)
inlineexplicit

Definition at line 34 of file string_dependencies.h.

◆ builtin_function_nodet() [2/2]

string_dependenciest::builtin_function_nodet::builtin_function_nodet ( builtin_function_nodet &&  other)
inline

Definition at line 41 of file string_dependencies.h.

Member Function Documentation

◆ operator=()

builtin_function_nodet& string_dependenciest::builtin_function_nodet::operator= ( builtin_function_nodet &&  other)
inline

Definition at line 46 of file string_dependencies.h.

Member Data Documentation

◆ data

std::unique_ptr<string_builtin_functiont> string_dependenciest::builtin_function_nodet::data

Definition at line 32 of file string_dependencies.h.

◆ index

std::size_t string_dependenciest::builtin_function_nodet::index

Definition at line 30 of file string_dependencies.h.

The documentation for this class was generated from the following file: