cprover
string_dependenciest::string_nodet Class Reference

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

#include <string_refinement_util.h>

Collaboration diagram for string_dependenciest::string_nodet:
[legend]

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 201 of file string_refinement_util.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 215 of file string_refinement_util.h.

Member Data Documentation

◆ dependencies

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

◆ expr

array_string_exprt string_dependenciest::string_nodet::expr

Definition at line 205 of file string_refinement_util.h.

◆ index

std::size_t string_dependenciest::string_nodet::index

Definition at line 207 of file string_refinement_util.h.

◆ result_from

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

Definition at line 213 of file string_refinement_util.h.

Referenced by add_node().


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