12 #ifndef CPROVER_UTIL_NONDET_BOOL_H 13 #define CPROVER_UTIL_NONDET_BOOL_H 27 #endif // CPROVER_UTIL_NONDET_BOOL_H The type of an expression.
exprt get_nondet_bool(const typet &type)
API to expression classes.
A side effect that returns a non-deterministically chosen value.
Base class for all expressions.