12 #ifndef CPROVER_UTIL_EXPR_INITIALIZER_H 13 #define CPROVER_UTIL_EXPR_INITIALIZER_H 44 #endif // CPROVER_UTIL_EXPR_INITIALIZER_H The type of an expression.
exprt zero_initializer(const typet &, const source_locationt &, const namespacet &, message_handlert &)
exprt nondet_initializer(const typet &, const source_locationt &, const namespacet &, message_handlert &)
Base class for all expressions.