CBMC
linked_loop_analysist< T > Member List

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

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