cprover
symbol_factoryt Member List

This is the complete list of members for symbol_factoryt, including all inherited members.

allocate_object(code_blockt &assignments, const exprt &target_expr, const typet &allocate_type, const bool static_lifetime)symbol_factoryt
gen_nondet_array_init(code_blockt &assignments, const exprt &expr, std::size_t depth, const recursion_sett &recursion_set)symbol_factorytprivate
gen_nondet_init(code_blockt &assignments, const exprt &expr, const std::size_t depth=0, recursion_sett recursion_set=recursion_sett())symbol_factoryt
locsymbol_factorytprivate
nssymbol_factorytprivate
object_factory_paramssymbol_factorytprivate
recursion_sett typedefsymbol_factorytprivate
symbol_factoryt(std::vector< const symbolt *> &_symbols_created, symbol_tablet &_symbol_table, const source_locationt &loc, const c_object_factory_parameterst &object_factory_params)symbol_factorytinline
symbol_tablesymbol_factorytprivate
symbols_createdsymbol_factorytprivate