cprover
|
Functor generating fresh nondet symbols. More...
#include <goto_symex.h>
Public Member Functions | |
nondet_symbol_exprt | operator() (typet &type) |
Private Attributes | |
unsigned | nondet_count = 0 |
Functor generating fresh nondet symbols.
Definition at line 42 of file goto_symex.h.
nondet_symbol_exprt symex_nondet_generatort::operator() | ( | typet & | type | ) |
Definition at line 24 of file goto_symex.cpp.
|
private |
Definition at line 48 of file goto_symex.h.