cprover
|
#include <recursive_initialization.h>
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 |
Definition at line 67 of file recursive_initialization.h.
|
inline |
Definition at line 72 of file recursive_initialization.h.
|
inline |
Definition at line 80 of file recursive_initialization.h.
typet recursive_initializationt::constructor_keyt::constructor_type |
Definition at line 69 of file recursive_initialization.h.
bool recursive_initializationt::constructor_keyt::has_size_parameter |
Definition at line 71 of file recursive_initialization.h.
bool recursive_initializationt::constructor_keyt::is_nullable |
Definition at line 70 of file recursive_initialization.h.