cprover
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 276 of file string_refinement_util.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum
Enumerator
BUILTIN 
STRING 

Definition at line 279 of file string_refinement_util.h.

Constructor & Destructor Documentation

◆ nodet() [1/2]

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

Definition at line 286 of file string_refinement_util.h.

◆ nodet() [2/2]

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

Definition at line 291 of file string_refinement_util.h.

Member Function Documentation

◆ operator==()

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

Definition at line 296 of file string_refinement_util.h.

References index, and kind.

Member Data Documentation

◆ index

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().

◆ kind

enum { ... } string_dependenciest::nodet::kind

Referenced by string_dependenciest::for_each_successor(), operator==(), and string_dependenciest::output_dot().

The documentation for this class was generated from the following file: