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

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
 

Detailed Description

Definition at line 137 of file string_dependencies.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum
Enumerator
BUILTIN 
STRING 

Definition at line 140 of file string_dependencies.h.

Constructor & Destructor Documentation

◆ nodet() [1/2]

string_dependenciest::nodet::nodet ( const builtin_function_nodet &  builtin)
inlineexplicit

Definition at line 147 of file string_dependencies.h.

◆ nodet() [2/2]

string_dependenciest::nodet::nodet ( const string_nodet &  string_node)
inlineexplicit

Definition at line 152 of file string_dependencies.h.

Member Function Documentation

◆ operator==()

bool string_dependenciest::nodet::operator== ( const nodet &  n) const
inline

Definition at line 157 of file string_dependencies.h.

Member Data Documentation

◆ index

std::size_t string_dependenciest::nodet::index

Definition at line 145 of file string_dependencies.h.

◆ kind

enum { ... } string_dependenciest::nodet::kind
The documentation for this class was generated from the following file: