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:

• /home/runner/work/cbmc/cbmc/src/goto-harness/recursive_initialization.h