Loading...

Searching...

No Matches

Public Types | Public Member Functions | Public Attributes | List of all members

loop_analysist< T, C > Class Template Reference

#include <loop_analysis.h>

+ Inheritance diagram for loop_analysist< T, C >:

[フレーム]

[legend]

+ Collaboration diagram for loop_analysist< T, C >:

[フレーム]

[legend]

Public Types

typedef loop_templatet< T, C > loopt

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

Public Member Functions

virtual void output (std::ostream &) const

Print all natural loops that were found.

bool is_loop_header (const T instruction) const

Returns true if instruction is the header of any loop.

loop_analysist ()=default

Public Attributes

loop_mapt loop_map

Detailed Description

template<class T, typename C>
class loop_analysist< T, C >

Definition at line 81 of file loop_analysis.h.

Member Typedef Documentation

◆ loop_mapt

template<class T , typename C >

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

Definition at line 86 of file loop_analysis.h.

◆ loopt

template<class T , typename C >

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

Definition at line 84 of file loop_analysis.h.

Constructor & Destructor Documentation

◆ loop_analysist()

template<class T , typename C >

loop_analysist< T, C >::loop_analysist ( )

default

Member Function Documentation

◆ is_loop_header()

template<class T , typename C >

bool loop_analysist< T, C >::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 , typename C >

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

virtual

Print all natural loops that were found.

Reimplemented in lexical_loops_templatet< P, T, C >.

Definition at line 170 of file loop_analysis.h.

Member Data Documentation

◆ loop_map

template<class T , typename C >

loop_mapt loop_analysist< T, C >::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/cbmc/src/analyses/loop_analysis.h