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 276 of file string_refinement_util.h.
anonymous enum |
Enumerator | |
---|---|
BUILTIN | |
STRING |
Definition at line 279 of file string_refinement_util.h.
|
inlineexplicit |
Definition at line 286 of file string_refinement_util.h.
|
inlineexplicit |
Definition at line 291 of file string_refinement_util.h.
|
inline |
Definition at line 296 of file string_refinement_util.h.
std::size_t string_dependenciest::nodet::index |
Definition at line 284 of file string_refinement_util.h.
Referenced by string_dependenciest::add_constraints(), string_dependenciest::for_each_successor(), operator==(), and string_dependenciest::output_dot().
enum { ... } string_dependenciest::nodet::kind |
Referenced by string_dependenciest::for_each_successor(), operator==(), and string_dependenciest::output_dot().