instrumentert::cfg_visitort Member List

This is the complete list of members for instrumentert::cfg_visitort, including all inherited members.

cfg_visitort(namespacet &_ns, instrumentert &_instrumenter)	instrumentert::cfg_visitort	inline
coming_from	instrumentert::cfg_visitort	protected
contains_shared_array(const irep_idt &function_id, goto_programt::const_targett targ, goto_programt::const_targett i_it, value_setst &value_sets) const	instrumentert::cfg_visitort	protected
current_thread	instrumentert::cfg_visitort	protected
data_dp	instrumentert::cfg_visitort
egraph	instrumentert::cfg_visitort	protected
egraph_alt	instrumentert::cfg_visitort	protected
egraph_SCCs	instrumentert::cfg_visitort	protected
enter_function(const irep_idt &function_id)	instrumentert::cfg_visitort	inline
fr_rf_counter	instrumentert::cfg_visitort
functions_met	instrumentert::cfg_visitort
id2node_pairt typedef	instrumentert::cfg_visitort
id2nodet typedef	instrumentert::cfg_visitort
in_pos	instrumentert::cfg_visitort
incoming_post typedef	instrumentert::cfg_visitort
instrumenter	instrumentert::cfg_visitort	protected
leave_function(const irep_idt &function_id)	instrumentert::cfg_visitort	inline
local(const irep_idt &i)	instrumentert::cfg_visitort	inline
map_reads	instrumentert::cfg_visitort
map_writes	instrumentert::cfg_visitort
max_thread	instrumentert::cfg_visitort
nodet typedef	instrumentert::cfg_visitort
ns	instrumentert::cfg_visitort	protected
out_pos	instrumentert::cfg_visitort
read_counter	instrumentert::cfg_visitort
thread	instrumentert::cfg_visitort
unknown_read_nodes	instrumentert::cfg_visitort
unknown_write_nodes	instrumentert::cfg_visitort
updated	instrumentert::cfg_visitort
visit_cfg(value_setst &value_sets, memory_modelt model, bool no_dependencies, loop_strategyt duplicate_body, const irep_idt &function_id)	instrumentert::cfg_visitort	inline
visit_cfg_asm_fence(goto_programt::instructionst::iterator i_it, const irep_idt &function_id)	instrumentert::cfg_visitort	protected
visit_cfg_assign(value_setst &value_sets, const irep_idt &function_id, goto_programt::instructionst::iterator &i_it, bool no_dependencies)	instrumentert::cfg_visitort	protected
visit_cfg_backedge(goto_programt::const_targett targ, goto_programt::const_targett i_it)	instrumentert::cfg_visitort	inlineprotected
visit_cfg_body(const irep_idt &function_id, const goto_programt &goto_program, goto_programt::const_targett i_it, loop_strategyt replicate_body, value_setst &value_sets)	instrumentert::cfg_visitort	inlineprotected
visit_cfg_duplicate(const goto_programt &goto_program, goto_programt::const_targett targ, goto_programt::const_targett i_it)	instrumentert::cfg_visitort	inlineprotected
visit_cfg_fence(goto_programt::instructionst::iterator i_it, const irep_idt &function_id)	instrumentert::cfg_visitort	protected
visit_cfg_function(value_setst &value_sets, memory_modelt model, bool no_dependencies, loop_strategyt duplicate_body, const irep_idt &function_id, std::set< nodet > &ending_vertex)	instrumentert::cfg_visitort	virtual
visit_cfg_function_call(value_setst &value_sets, goto_programt::instructionst::iterator i_it, memory_modelt model, bool no_dependenciess, loop_strategyt duplicate_body)	instrumentert::cfg_visitort	protected
visit_cfg_goto(const irep_idt &function_id, const goto_programt &goto_program, goto_programt::instructionst::iterator i_it, loop_strategyt replicate_body, value_setst &value_sets)	instrumentert::cfg_visitort	protected
visit_cfg_lwfence(goto_programt::instructionst::iterator i_it, const irep_idt &function_id)	instrumentert::cfg_visitort	protected
visit_cfg_propagate(goto_programt::instructionst::iterator i_it)	instrumentert::cfg_visitort	inlineprotected
visit_cfg_reference_function(irep_idt id_function)	instrumentert::cfg_visitort	inlineprotected
visit_cfg_skip(goto_programt::instructionst::iterator i_it)	instrumentert::cfg_visitort	protected
visit_cfg_thread() const	instrumentert::cfg_visitort	protected
write_counter	instrumentert::cfg_visitort
ws_counter	instrumentert::cfg_visitort
~cfg_visitort()	instrumentert::cfg_visitort	inlinevirtual