loop_with_parent_analysis_templatet< T > Class Template Reference
#include <loop_analysis.h>
Inheritance diagram for loop_with_parent_analysis_templatet< T >: Collaboration diagram for loop_with_parent_analysis_templatet< T >: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 >::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 > | parent_analysist |
| Private Types inherited from loop_templatet< T > | |
| typedef loop_instructionst::const_iterator | const_iterator |
Private Attributes | |
| parent_analysist & | loop_analysis |
Additional Inherited Members | |
| Private Member Functions inherited from loop_templatet< T > | |
| 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>
class loop_with_parent_analysis_templatet< T >
Definition at line 102 of file loop_analysis.h.
Member Typedef Documentation
◆ parent_analysist
template<typename T >
|
private |
Definition at line 104 of file loop_analysis.h.
Constructor & Destructor Documentation
◆ loop_with_parent_analysis_templatet() [1/2]
template<typename T >
|
inlineexplicit |
Definition at line 107 of file loop_analysis.h.
◆ loop_with_parent_analysis_templatet() [2/2]
template<typename T >
template<typename InstructionSet >
|
inlineexplicit |
Definition at line 113 of file loop_analysis.h.
Member Function Documentation
◆ get_loop_analysis() [1/2]
template<typename T >
|
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 >
|
inline |
Get the parent_analysist analysis this loop relates to.
Definition at line 130 of file loop_analysis.h.
◆ loop_contains()
template<typename T >
|
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 >
|
private |
Definition at line 141 of file loop_analysis.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/loop_analysis.h
