CBMC
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 >:
+ Collaboration diagram for linked_loop_analysist< T, C >:

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. More...
 
 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. More...
 
bool is_loop_header (const T instruction) const
 Returns true if instruction is the header of any loop. More...
 
 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: