CBMC
Loading...
Searching...
No Matches
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 135 of file string_dependencies.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum
Enumerator
BUILTIN 
STRING 

Definition at line 138 of file string_dependencies.h.

Constructor & Destructor Documentation

◆ nodet() [1/2]

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

Definition at line 145 of file string_dependencies.h.

◆ nodet() [2/2]

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

Definition at line 150 of file string_dependencies.h.

Member Function Documentation

◆ operator==()

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

Definition at line 155 of file string_dependencies.h.

Member Data Documentation

◆ index

std::size_t string_dependenciest::nodet::index

Definition at line 143 of file string_dependencies.h.

◆ []

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