CBMC
Public Member Functions | Public Attributes | List of all members
recursive_initializationt::constructor_keyt Struct Reference

#include <recursive_initialization.h>

+ Collaboration diagram for recursive_initializationt::constructor_keyt:

Public Member Functions

bool operator< (const constructor_keyt &other) const
 
bool operator== (const constructor_keyt &other) const
 

Public Attributes

typet constructor_type
 
bool is_nullable
 
bool has_size_parameter
 

Detailed Description

Definition at line 67 of file recursive_initialization.h.

Member Function Documentation

◆ operator<()

bool recursive_initializationt::constructor_keyt::operator< ( const constructor_keyt &  other) const
inline

Definition at line 72 of file recursive_initialization.h.

◆ operator==()

bool recursive_initializationt::constructor_keyt::operator== ( const constructor_keyt &  other) const
inline

Definition at line 80 of file recursive_initialization.h.

Member Data Documentation

◆ constructor_type

typet recursive_initializationt::constructor_keyt::constructor_type

Definition at line 69 of file recursive_initialization.h.

◆ has_size_parameter

bool recursive_initializationt::constructor_keyt::has_size_parameter

Definition at line 71 of file recursive_initialization.h.

◆ is_nullable

bool recursive_initializationt::constructor_keyt::is_nullable

Definition at line 70 of file recursive_initialization.h.

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