cprover
|
Generation of fresh symbols of a given type. More...
#include <string_constraint_generator.h>
Public Member Functions | |
symbol_exprt | operator() (const irep_idt &prefix, const typet &type=bool_typet()) |
generate a new symbol expression of the given type with some prefix More... | |
Private Attributes | |
unsigned | symbol_count = 0 |
Generation of fresh symbols of a given type.
Definition at line 32 of file string_constraint_generator.h.
symbol_exprt symbol_generatort::operator() | ( | const irep_idt & | prefix, |
const typet & | type = bool_typet() |
||
) |
generate a new symbol expression of the given type with some prefix
Definition at line 42 of file string_constraint_generator_main.cpp.
|
private |
Definition at line 39 of file string_constraint_generator.h.