Loading...

Searching...

No Matches

Public Member Functions | List of all members

linked_loop_analysist< T, C > Class Template Reference

#include <loop_analysis.h>

+ Inheritance diagram for linked_loop_analysist< T, C >:

[フレーム]

[legend]

+ Collaboration diagram for linked_loop_analysist< T, C >:

[フレーム]

[legend]

Public Member Functions

linked_loop_analysist ()=default

bool loop_contains (const typename loop_analysist< T, C >::loopt &loop, const T instruction) const

Returns true if instruction is in loop.

linked_loop_analysist (const linked_loop_analysist &)=delete

linked_loop_analysist (linked_loop_analysist &&)=delete

linked_loop_analysist & operator= (const linked_loop_analysist &)=delete

linked_loop_analysist & operator= (linked_loop_analysist &&)=delete

Additional Inherited Members

- Private Types inherited from loop_analysist< T, C >

typedef loop_templatet< T, C > loopt

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

- Private Member Functions inherited from loop_analysist< T, C >

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

- Private Attributes inherited from loop_analysist< T, C >

loop_mapt loop_map

Detailed Description

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

Definition at line 145 of file loop_analysis.h.

Constructor & Destructor Documentation

◆ linked_loop_analysist() [1/3]

template<class T , typename C >

linked_loop_analysist< T, C >::linked_loop_analysist ( )

default

◆ linked_loop_analysist() [2/3]

template<class T , typename C >

linked_loop_analysist< T, C >::linked_loop_analysist ( const linked_loop_analysist< T, C > & )

delete

◆ linked_loop_analysist() [3/3]

template<class T , typename C >

linked_loop_analysist< T, C >::linked_loop_analysist ( linked_loop_analysist< T, C > && )

delete

Member Function Documentation

◆ loop_contains()

template<class T , typename C >

bool linked_loop_analysist< T, C >::loop_contains ( const typename loop_analysist< T, C >::loopt & loop,

const T instruction

) const

inline

Returns true if instruction is in loop.

Definition at line 151 of file loop_analysis.h.

◆ operator=() [1/2]

template<class T , typename C >

linked_loop_analysist & linked_loop_analysist< T, C >::operator= ( const linked_loop_analysist< T, C > & )

delete

◆ operator=() [2/2]

template<class T , typename C >

linked_loop_analysist & linked_loop_analysist< T, C >::operator= ( linked_loop_analysist< T, C > && )

delete

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

/home/runner/work/cbmc/cbmc/src/analyses/loop_analysis.h