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:

• solvers/strings/string_dependencies.h