CBMC
Public Member Functions | Private Attributes | List of all members
symbol_generatort Class Referencefinal

Generation of fresh symbols of a given type. More...

#include <array_pool.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 21 of file array_pool.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.

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

Definition at line 14 of file array_pool.cpp.

Member Data Documentation

◆ symbol_count

unsigned symbol_generatort::symbol_count = 0
private

Definition at line 31 of file array_pool.h.

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