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 >	protected
compute(const goto_programt &program)	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	protected
compute_natural_loop(goto_programt::const_targett, goto_programt::const_targett)	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	protected
get_dominator_info() const	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	inline
is_loop_header(const goto_programt::const_targett instruction) const	loop_analysist< goto_programt::const_targett >	inline
loop_analysist()=default	loop_analysist< goto_programt::const_targett >
loop_map	loop_analysist< goto_programt::const_targett >
loop_mapt typedef	loop_analysist< goto_programt::const_targett >
loopt typedef	loop_analysist< goto_programt::const_targett >
natural_loops_templatet()	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	inline
natural_loops_templatet(const goto_programt &program)	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	inlineexplicit
natural_loopt typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett >
nodet typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	protected
operator()(const goto_programt &program)	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	inline
output(std::ostream &) const	loop_analysist< goto_programt::const_targett >	virtual
parentt typedef	natural_loops_templatet< const goto_programt, goto_programt::const_targett >	private