cprover
|
Public Member Functions | |
expr_initializert (const namespacet &_ns) | |
optionalt< exprt > | operator() (const typet &type, const source_locationt &source_location) |
Protected Member Functions | |
optionalt< exprt > | expr_initializer_rec (const typet &type, const source_locationt &source_location) |
Protected Attributes | |
const namespacet & | ns |
Definition at line 23 of file expr_initializer.cpp.
|
inlineexplicit |
Definition at line 26 of file expr_initializer.cpp.
|
protected |
Definition at line 45 of file expr_initializer.cpp.
|
inline |
Definition at line 31 of file expr_initializer.cpp.
|
protected |
Definition at line 37 of file expr_initializer.cpp.