CBMC
|
#include <loop_analysis.h>
Public Member Functions | |
linked_loop_analysist ()=default | |
bool | loop_contains (const typename loop_analysist< T, C >::loopt &loop, const T instruction) const |
Returns true if instruction is in loop . More... | |
linked_loop_analysist (const linked_loop_analysist &)=delete | |
linked_loop_analysist (linked_loop_analysist &&)=delete | |
linked_loop_analysist & | operator= (const linked_loop_analysist &)=delete |
linked_loop_analysist & | operator= (linked_loop_analysist &&)=delete |
Additional Inherited Members | |
Private Types inherited from loop_analysist< T, C > | |
typedef loop_templatet< T, C > | loopt |
typedef std::map< T, loopt, C > | loop_mapt |
Private Member Functions inherited from loop_analysist< T, C > | |
virtual void | output (std::ostream &) const |
Print all natural loops that were found. More... | |
bool | is_loop_header (const T instruction) const |
Returns true if instruction is the header of any loop. More... | |
loop_analysist ()=default | |
Private Attributes inherited from loop_analysist< T, C > | |
loop_mapt | loop_map |
Definition at line 145 of file loop_analysis.h.
|
default |
|
delete |
|
delete |
|
inline |
Returns true if instruction
is in loop
.
Definition at line 151 of file loop_analysis.h.
|
delete |
|
delete |