CBMC: Member List

add_function_loops(const irep_idt &identifier, const goto_programt &body) path_storaget inline

build_symex_nondet path_storaget

clear() override path_fifot virtual

dirty path_storaget

empty() const path_storaget inline

get_loop_analysis(const irep_idt &function_id) path_storaget inline

get_unique_index(name_index_mapt &unique_index_map, const irep_idt &id, std::size_t minimum_index) path_storaget inlineprivate

get_unique_l1_index(const irep_idt &id, std::size_t minimum_index) path_storaget inline

get_unique_l2_index(const irep_idt &id) path_storaget inline

l1_indices path_storaget private

l2_indices path_storaget private

loop_analysis_map path_storaget private

name_index_mapt typedef path_storaget private

paths path_fifot protected

peek() path_storaget inline

pop() path_storaget inline

private_peek() override path_fifot privatevirtual

private_pop() override path_fifot privatevirtual

push(const patht &) override path_fifot virtual

safe_pointers path_storaget

size() const override path_fifot virtual

~path_storaget()=default path_storaget virtual