A loop, specified as a set of instructions.
More...
#include <loop_analysis.h>
template<class T>
class loop_templatet< T >
A loop, specified as a set of instructions.
Definition at line 23 of file loop_analysis.h.
◆ const_iterator
◆ loop_instructionst
◆ loop_templatet() [1/2]
◆ loop_templatet() [2/2]
template<class T >
template<typename InstructionSet >
◆ begin()
Iterator over this loop's instructions.
Definition at line 49 of file loop_analysis.h.
◆ contains()
template<class T >
virtual bool loop_templatet< T >::contains |
( |
const T |
instruction | ) |
const |
|
inlinevirtual |
Returns true if instruction
is in this loop.
Definition at line 40 of file loop_analysis.h.
◆ empty()
Returns true if this loop contains no instructions.
Definition at line 67 of file loop_analysis.h.
◆ end()
Iterator over this loop's instructions.
Definition at line 55 of file loop_analysis.h.
◆ insert_instruction()
Adds instruction
to this loop.
- Returns
- true if the instruction is new
Definition at line 74 of file loop_analysis.h.
◆ size()
◆ loop_analysist< T >
◆ loop_instructions
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/loop_analysis.h