Loading...

Searching...

No Matches

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

loop_templatet< T, C > Class Template Reference

A loop, specified as a set of instructions. More...

#include <loop_analysis.h>

+ Inheritance diagram for loop_templatet< T, C >:

[フレーム]

[legend]

+ Collaboration diagram for loop_templatet< T, C >:

[フレーム]

[legend]

Public Types

typedef loop_instructionst::const_iterator const_iterator

Public Member Functions

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.

const_iterator begin () const

Iterator over this loop's instructions.

const_iterator end () const

Iterator over this loop's instructions.

std::size_t size () const

Number of instructions in this loop.

bool empty () const

Returns true if this loop contains no instructions.

bool insert_instruction (const T instruction)

Adds instruction to this loop.

Private Types

typedef std::set< T, C > loop_instructionst

Private Attributes

loop_instructionst loop_instructions

friend loop_analysist< T, C >

Detailed Description

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

A loop, specified as a set of instructions.

Definition at line 23 of file loop_analysis.h.

Member Typedef Documentation

◆ const_iterator

template<class T , typename C >

typedef loop_instructionst::const_iterator loop_templatet< T, C >::const_iterator

Definition at line 46 of file loop_analysis.h.

◆ loop_instructionst

template<class T , typename C >

typedef std::set<T, C> loop_templatet< T, C >::loop_instructionst

private

Definition at line 25 of file loop_analysis.h.

Constructor & Destructor Documentation

◆ loop_templatet() [1/2]

template<class T , typename C >

loop_templatet< T, C >::loop_templatet ( )

default

◆ loop_templatet() [2/2]

template<class T , typename C >

template<typename InstructionSet >

loop_templatet< T, C >::loop_templatet ( InstructionSet && instructions )

inlineexplicit

Definition at line 34 of file loop_analysis.h.

Member Function Documentation

◆ begin()

template<class T , typename C >

const_iterator loop_templatet< T, C >::begin ( ) const

inline

Iterator over this loop's instructions.

Definition at line 49 of file loop_analysis.h.

◆ contains()

template<class T , typename C >

virtual bool loop_templatet< T, C >::contains ( const T instruction ) const

inlinevirtual

Returns true if instruction is in this loop.

Definition at line 40 of file loop_analysis.h.

◆ empty()

template<class T , typename C >

bool loop_templatet< T, C >::empty ( ) const

inline

Returns true if this loop contains no instructions.

Definition at line 67 of file loop_analysis.h.

◆ end()

template<class T , typename C >

const_iterator loop_templatet< T, C >::end ( ) const

inline

Iterator over this loop's instructions.

Definition at line 55 of file loop_analysis.h.

◆ insert_instruction()

template<class T , typename C >

bool loop_templatet< T, C >::insert_instruction ( const T instruction )

inline

Adds instruction to this loop.

Returns: true if the instruction is new

Definition at line 74 of file loop_analysis.h.

◆ size()

template<class T , typename C >

std::size_t loop_templatet< T, C >::size ( ) const

inline

Number of instructions in this loop.

Definition at line 61 of file loop_analysis.h.

Member Data Documentation

◆ loop_analysist< T, C >

template<class T , typename C >

friend loop_templatet< T, C >::loop_analysist< T, C >

private

Definition at line 28 of file loop_analysis.h.

◆ loop_instructions

template<class T , typename C >

loop_instructionst loop_templatet< T, C >::loop_instructions

private

Definition at line 26 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