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