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 T instruction) const	loop_analysist< T, C >	inline
loop_analysist()=default	loop_analysist< T, C >
loop_map	loop_analysist< T, C >
loop_mapt typedef	loop_analysist< T, C >
loopt typedef	loop_analysist< T, C >
natural_loops_templatet()	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	inline
natural_loops_templatet(const goto_programt &program)	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	inlineexplicit
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< T, C >	virtual
parentt typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett, goto_programt::target_less_than >	private