CBMC
loop_with_parent_analysis_templatet< T, C > Class Template Reference

#include <loop_analysis.h>

+ Inheritance diagram for loop_with_parent_analysis_templatet< T, C >:
+ Collaboration diagram for loop_with_parent_analysis_templatet< T, C >:

Public Member Functions

 loop_with_parent_analysis_templatet (parent_analysist &loop_analysis)
 
template<typename InstructionSet >
 loop_with_parent_analysis_templatet (parent_analysist &loop_analysis, InstructionSet &&instructions)
 
bool loop_contains (const typename loop_analysist< T, C >::loopt &loop, const T instruction) const
 Returns true if instruction is in loop. More...
 
const parent_analysistget_loop_analysis () const
 Get the parent_analysist analysis this loop relates to. More...
 
parent_analysistget_loop_analysis ()
 Get the parent_analysist analysis this loop relates to. More...
 

Private Types

typedef loop_analysist< T, C > parent_analysist
 
- Private Types inherited from loop_templatet< T, C >
typedef loop_instructionst::const_iterator const_iterator
 

Private Attributes

parent_analysistloop_analysis
 

Additional Inherited Members

- Private Member Functions inherited from loop_templatet< T, C >
 loop_templatet ()=default
 
template<typename InstructionSet >
 loop_templatet (InstructionSet &&instructions)
 
virtual bool contains (const T instruction) const
 Returns true if instruction is in this loop. More...
 
const_iterator begin () const
 Iterator over this loop's instructions. More...
 
const_iterator end () const
 Iterator over this loop's instructions. More...
 
std::size_t size () const
 Number of instructions in this loop. More...
 
bool empty () const
 Returns true if this loop contains no instructions. More...
 
bool insert_instruction (const T instruction)
 Adds instruction to this loop. More...
 

Detailed Description

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

Definition at line 102 of file loop_analysis.h.

Member Typedef Documentation

◆ parent_analysist

template<typename T , typename C >
typedef loop_analysist<T, C> loop_with_parent_analysis_templatet< T, C >::parent_analysist
private

Definition at line 104 of file loop_analysis.h.

Constructor & Destructor Documentation

◆ loop_with_parent_analysis_templatet() [1/2]

template<typename T , typename C >
loop_with_parent_analysis_templatet< T, C >::loop_with_parent_analysis_templatet ( parent_analysist loop_analysis)
inlineexplicit

Definition at line 107 of file loop_analysis.h.

◆ loop_with_parent_analysis_templatet() [2/2]

template<typename T , typename C >
template<typename InstructionSet >
loop_with_parent_analysis_templatet< T, C >::loop_with_parent_analysis_templatet ( parent_analysist loop_analysis,
InstructionSet &&  instructions 
)
inlineexplicit

Definition at line 113 of file loop_analysis.h.

Member Function Documentation

◆ get_loop_analysis() [1/2]

template<typename T , typename C >
parent_analysist& loop_with_parent_analysis_templatet< T, C >::get_loop_analysis ( )
inline

Get the parent_analysist analysis this loop relates to.

Definition at line 135 of file loop_analysis.h.

◆ get_loop_analysis() [2/2]

template<typename T , typename C >
const parent_analysist& loop_with_parent_analysis_templatet< T, C >::get_loop_analysis ( ) const
inline

Get the parent_analysist analysis this loop relates to.

Definition at line 130 of file loop_analysis.h.

◆ loop_contains()

template<typename T , typename C >
bool loop_with_parent_analysis_templatet< 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 122 of file loop_analysis.h.

Member Data Documentation

◆ loop_analysis

template<typename T , typename C >
parent_analysist& loop_with_parent_analysis_templatet< T, C >::loop_analysis
private

Definition at line 141 of file loop_analysis.h.


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