symbol_generatort Class Reference

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

Detailed Description

Generation of fresh symbols of a given type.

Definition at line 32 of file string_constraint_generator.h.

Member Function Documentation

operator()()

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

parameters: a prefix and a type

Returns

a symbol of type tp whose name starts with "string_refinement#" followed by prefix

Definition at line 42 of file string_constraint_generator_main.cpp.

Member Data Documentation

symbol_count

unsigned symbol_generatort::symbol_count = 0

private

Definition at line 39 of file string_constraint_generator.h.

---

The documentation for this class was generated from the following files:

• solvers/refinement/string_constraint_generator.h
• solvers/refinement/string_constraint_generator_main.cpp