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
assume_non_nullsymbol_factorytprivate
gen_nondet_init(code_blockt &assignments, const exprt &expr)symbol_factoryt
locsymbol_factorytprivate
nssymbol_factorytprivate
symbol_factoryt(std::vector< symbolt const *> &_symbols_created, symbol_tablet &_symbol_table, const source_locationt &loc, const bool _assume_non_null)symbol_factorytinline
symbol_tablesymbol_factorytprivate
symbols_createdsymbol_factorytprivate