12 #ifndef CPROVER_UTIL_NONDET_BOOL_H 13 #define CPROVER_UTIL_NONDET_BOOL_H 30 #endif // CPROVER_UTIL_NONDET_BOOL_H The type of an expression, extends irept.
Semantic type conversion.
API to expression classes.
A side_effect_exprt that returns a non-deterministically chosen value.
Base class for all expressions.
exprt get_nondet_bool(const typet &type, const source_locationt &source_location)