path_lifot Member List

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

add_function_loops(const irep_idt &identifier, const goto_programt &body)	path_storaget	inline
build_symex_nondet	path_storaget
clear() override	path_lifot	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
last_peeked	path_lifot	protected
loop_analysis_map	path_storaget	private
name_index_mapt typedef	path_storaget	private
paths	path_lifot	protected
peek()	path_storaget	inline
pop()	path_storaget	inline
private_peek() override	path_lifot	privatevirtual
private_pop() override	path_lifot	privatevirtual
push(const patht &) override	path_lifot	virtual
safe_pointers	path_storaget
size() const override	path_lifot	virtual
~path_storaget()=default	path_storaget	virtual