CBMC
linked_loop_analysist< T, C > Member List

This is the complete list of members for linked_loop_analysist< T, C >, including all inherited members.

is_loop_header(const T instruction) constloop_analysist< T, C >inlineprivate
linked_loop_analysist()=defaultlinked_loop_analysist< T, C >
linked_loop_analysist(const linked_loop_analysist &)=deletelinked_loop_analysist< T, C >
linked_loop_analysist(linked_loop_analysist &&)=deletelinked_loop_analysist< T, C >
loop_analysist()=defaultloop_analysist< T, C >private
loop_contains(const typename loop_analysist< T, C >::loopt &loop, const T instruction) constlinked_loop_analysist< T, C >inline
loop_maploop_analysist< T, C >private
loop_mapt typedefloop_analysist< T, C >private
loopt typedefloop_analysist< T, C >private
operator=(const linked_loop_analysist &)=deletelinked_loop_analysist< T, C >
operator=(linked_loop_analysist &&)=deletelinked_loop_analysist< T, C >
output(std::ostream &) constloop_analysist< T, C >privatevirtual