cprover
|
A string node points to builtin_function on which it depends. More...
#include <string_refinement_util.h>
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 |
A string node points to builtin_function on which it depends.
Definition at line 201 of file string_refinement_util.h.
|
inlineexplicit |
Definition at line 215 of file string_refinement_util.h.
std::vector<std::size_t> string_dependenciest::string_nodet::dependencies |
Definition at line 211 of file string_refinement_util.h.
Referenced by string_dependenciest::add_dependency(), and string_dependenciest::for_each_dependency().
array_string_exprt string_dependenciest::string_nodet::expr |
Definition at line 205 of file string_refinement_util.h.
std::size_t string_dependenciest::string_nodet::index |
Definition at line 207 of file string_refinement_util.h.
optionalt<std::size_t> string_dependenciest::string_nodet::result_from |
Definition at line 213 of file string_refinement_util.h.
Referenced by add_node().