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

A string node points to builtin_function on which it depends. More...

#include <string_dependencies.h>

+ Collaboration diagram for string_dependenciest::string_nodet:

Public Member Functions

 string_nodet (array_string_exprt e, const std::size_t index)
 

Public Attributes

array_string_exprt expr
 
std::size_t index
 
std::vector< std::size_t > dependencies
 
optionalt< std::size_t > result_from
 

Detailed Description

A string node points to builtin_function on which it depends.

Definition at line 57 of file string_dependencies.h.

Constructor & Destructor Documentation

◆ string_nodet()

string_dependenciest::string_nodet::string_nodet ( array_string_exprt  e,
const std::size_t  index 
)
inlineexplicit

Definition at line 71 of file string_dependencies.h.

Member Data Documentation

◆ dependencies

std::vector<std::size_t> string_dependenciest::string_nodet::dependencies

Definition at line 67 of file string_dependencies.h.

◆ expr

array_string_exprt string_dependenciest::string_nodet::expr

Definition at line 61 of file string_dependencies.h.

◆ index

std::size_t string_dependenciest::string_nodet::index

Definition at line 63 of file string_dependencies.h.

◆ result_from

optionalt<std::size_t> string_dependenciest::string_nodet::result_from

Definition at line 69 of file string_dependencies.h.

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