cprover
|
Nondeterministic boolean helper. More...
Go to the source code of this file.
Functions | |
exprt | get_nondet_bool (const typet &type) |
Nondeterministic boolean helper.
Definition in file nondet_bool.h.
Definition at line 20 of file nondet_bool.h.
Referenced by java_object_factoryt::gen_nondet_init().