cprover
|
Public Types | |
enum | { BUILTIN , STRING } |
Public Member Functions | |
nodet (const builtin_function_nodet &builtin) | |
nodet (const string_nodet &string_node) | |
bool | operator== (const nodet &n) const |
Public Attributes | |
enum string_dependenciest::nodet:: { ... } | kind |
std::size_t | index |
Definition at line 137 of file string_dependencies.h.
Enumerator | |
---|---|
BUILTIN | |
STRING |
Definition at line 140 of file string_dependencies.h.
|
inlineexplicit |
Definition at line 147 of file string_dependencies.h.
|
inlineexplicit |
Definition at line 152 of file string_dependencies.h.
Definition at line 157 of file string_dependencies.h.
std::size_t string_dependenciest::nodet::index |
Definition at line 145 of file string_dependencies.h.
enum { ... } string_dependenciest::nodet::kind |