12 #ifndef CPROVER_UTIL_EXPR_INITIALIZER_H 13 #define CPROVER_UTIL_EXPR_INITIALIZER_H 30 #endif // CPROVER_UTIL_EXPR_INITIALIZER_H The type of an expression, extends irept.
optionalt< exprt > nondet_initializer(const typet &type, const source_locationt &source_location, const namespacet &ns)
Create a non-deterministic value for type type, with all subtypes independently expanded as non-deter...
nonstd::optional< T > optionalt
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
optionalt< exprt > zero_initializer(const typet &, const source_locationt &, const namespacet &)
Create the equivalent of zero for type type.