loop_analysist< T > Class Template Reference

#include <loop_analysis.h>

Inheritance diagram for loop_analysist< T >:

Collaboration diagram for loop_analysist< T >:

Public Types
typedef loop_templatet< T >	loopt
typedef std::map< T, loopt >	loop_mapt

Public Member Functions
virtual void	output (std::ostream &) const
	Print all natural loops that were found. More...
bool	is_loop_header (const T instruction) const
	Returns true if instruction is the header of any loop. More...
	loop_analysist ()=default

Public Attributes
loop_mapt	loop_map

Detailed Description

template<class T>
class loop_analysist< T >

Definition at line 19 of file loop_analysis.h.

Member Typedef Documentation

loop_mapt

template<class T >

typedef std::map<T, loopt> loop_analysist< T >::loop_mapt

Definition at line 86 of file loop_analysis.h.

loopt

template<class T >

typedef loop_templatet<T> loop_analysist< T >::loopt

Definition at line 84 of file loop_analysis.h.

Constructor & Destructor Documentation

loop_analysist()

template<class T >

loop_analysist< T >::loop_analysist ( )

default

Member Function Documentation

is_loop_header()

template<class T >

bool loop_analysist< T >::is_loop_header ( const T  instruction ) const

inline

Returns true if instruction is the header of any loop.

Definition at line 93 of file loop_analysis.h.

output()

template<class T >

void loop_analysist< T >::output ( std::ostream &  out ) const

virtual

Print all natural loops that were found.

Reimplemented in lexical_loops_templatet< P, T >.

Definition at line 170 of file loop_analysis.h.

Member Data Documentation

loop_map

template<class T >

loop_mapt loop_analysist< T >::loop_map

Definition at line 88 of file loop_analysis.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/loop_analysis.h