cprover
Loading...
Searching...
No Matches
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: