CBMC: Member List

is_loop_header(const T instruction) const loop_analysist< T, C > inlineprivate

linked_loop_analysist()=default linked_loop_analysist< T, C >

linked_loop_analysist(const linked_loop_analysist &)=delete linked_loop_analysist< T, C >

linked_loop_analysist(linked_loop_analysist &&)=delete linked_loop_analysist< T, C >

loop_analysist()=default loop_analysist< T, C > private

loop_contains(const typename loop_analysist< T, C >::loopt &loop, const T instruction) const linked_loop_analysist< T, C > inline

loop_map loop_analysist< T, C > private

loop_mapt typedef loop_analysist< T, C > private

loopt typedef loop_analysist< T, C > private

operator=(const linked_loop_analysist &)=delete linked_loop_analysist< T, C >

operator=(linked_loop_analysist &&)=delete linked_loop_analysist< T, C >

output(std::ostream &) const loop_analysist< T, C > privatevirtual