goto_cse Member List

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

algorithm(bool sideeffect)	algorithm< goto_functionst >	inline
available_expressions	goto_cse	protected
context	goto_cse	protected
create_cse_symbol(const type2tc &t, const goto_programt::const_targett &to)	goto_cse	inlineprotected
get_number_of_functions()	goto_functions_algorithm	inline
get_number_of_loops()	goto_functions_algorithm	inline
goto_cse(contextt &ns, std::shared_ptr< value_setst > &vsa)	goto_cse	inline
goto_functions_algorithm(bool sideffect)	goto_functions_algorithm	inlineexplicit
has_sideeffect()	algorithm< goto_functionst >	inline
obtain_max_sub_expr(const expr2tc &e, const cse_domaint &state) const	goto_cse	protected
replace_in_lvalue(expr2tc &lhs, const std::unordered_map< expr2tc, expr2tc, irep2_hash > &expr2symbol, const goto_programt::const_targett &to, std::unordered_set< expr2tc, irep2_hash > &matched_expressions) const	goto_cse	protected
replace_max_sub_expr(expr2tc &e, const std::unordered_map< expr2tc, expr2tc, irep2_hash > &expr2symbol, const goto_programt::const_targett &to, std::unordered_set< expr2tc, irep2_hash > &matched_expressions) const	goto_cse	protected
run(goto_functionst &) override	goto_functions_algorithm	virtual
runOnFunction(std::pair< const irep_idt, goto_functiont > &F) override	goto_cse	virtual
runOnLoop(loopst &loop, goto_programt &goto_program)	goto_functions_algorithm	protectedvirtual
runOnProgram(goto_functionst &) override	goto_cse	virtual
setTarget(const std::string &_tgt)	goto_functions_algorithm	inline
sideeffect	algorithm< goto_functionst >	protected
target_function	goto_functions_algorithm	protected
~algorithm()=default	algorithm< goto_functionst >	virtual