CBMC: Member List

get_access_expr() const override simple_entryt virtual

simple_entry simple_entryt private

simple_entryt(exprt expr) simple_entryt explicit

try_squash_in(std::shared_ptr< const write_stack_entryt > new_entry, const abstract_environmentt &enviroment, const namespacet &ns) write_stack_entryt virtual

~write_stack_entryt()=default write_stack_entryt virtual