natural_loopst Member List

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

cfg_dominators	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	protected
compute(const goto_programt &program)	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	protected
compute_natural_loop(goto_programt::const_targett, goto_programt::const_targett)	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	protected
get_dominator_info() const	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	inline
is_loop_header(const goto_programt::const_targett instruction) const	loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >	inline
loop_analysist()=default	loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
loop_map	loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
loop_mapt typedef	loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
loopt typedef	loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >
natural_loops_templatet()	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	inline
natural_loopt typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >
nodet typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	protected
operator()(const goto_programt &program)	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	inline
output(std::ostream &) const	loop_analysist< goto_programt::const_targett, goto_programt::target_less_than >	virtual
parentt typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	private