CBMC
|
#include <loop_analysis.h>
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_analysist & | get_loop_analysis () const |
Get the parent_analysist analysis this loop relates to. More... | |
parent_analysist & | get_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_analysist & | loop_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... | |
Definition at line 102 of file loop_analysis.h.
|
private |
Definition at line 104 of file loop_analysis.h.
|
inlineexplicit |
Definition at line 107 of file loop_analysis.h.
|
inlineexplicit |
Definition at line 113 of file loop_analysis.h.
|
inline |
Get the parent_analysist analysis this loop relates to.
Definition at line 135 of file loop_analysis.h.
|
inline |
Get the parent_analysist analysis this loop relates to.
Definition at line 130 of file loop_analysis.h.
|
inline |
Returns true if instruction
is in loop
.
Definition at line 122 of file loop_analysis.h.
|
private |
Definition at line 141 of file loop_analysis.h.