| CBMC
    | 
This is the complete list of members for gdb_apit, including all inherited members.
| allocated_memory | gdb_apit | protected | 
| args | gdb_apit | protected | 
| check_command_accepted() | gdb_apit | protected | 
| collect_malloc_calls() | gdb_apit | protected | 
| command_log | gdb_apit | protected | 
| command_stream | gdb_apit | protected | 
| commandst typedef | gdb_apit | |
| create_gdb_process() | gdb_apit | |
| eval_expr(const std::string &expr) | gdb_apit | protected | 
| gdb_apit(const std::vector< std::string > &args, const bool log=false) | gdb_apit | explicit | 
| gdb_output_recordt typedef | gdb_apit | protected | 
| gdb_state | gdb_apit | protected | 
| gdb_statet enum name | gdb_apit | protected | 
| get_command_log() | gdb_apit | |
| get_memory(const std::string &expr) | gdb_apit | |
| get_most_recent_record(const std::string &tag, const bool must_exist=false) | gdb_apit | protected | 
| get_register_value(const gdb_output_recordt &record) | gdb_apit | protected | 
| get_value(const std::string &expr) | gdb_apit | |
| get_value_from_record(const gdb_output_recordt &record, const std::string &value_name) | gdb_apit | protected | 
| hit_malloc_breakpoint(const gdb_output_recordt &stopped_record) | gdb_apit | protected | 
| log | gdb_apit | protected | 
| malloc_name | gdb_apit | protected | 
| most_recent_line_has_tag(const std::string &tag) | gdb_apit | protected | 
| parse_gdb_output_record(const std::string &s) | gdb_apit | protectedstatic | 
| query_malloc_size(const std::string &pointer_expr) | gdb_apit | |
| r_char | gdb_apit | protected | 
| r_hex_addr | gdb_apit | protected | 
| r_id | gdb_apit | protected | 
| r_opt(const std::string ®ex) | gdb_apit | protectedstatic | 
| r_or(const std::string ®ex_left, const std::string ®ex_right) | gdb_apit | protectedstatic | 
| r_string | gdb_apit | protected | 
| read_most_recent_line() | gdb_apit | protected | 
| read_next_line() | gdb_apit | protected | 
| response_stream | gdb_apit | protected | 
| run_gdb_from_core(const std::string &corefile) | gdb_apit | |
| run_gdb_to_breakpoint(const std::string &breakpoint) | gdb_apit | |
| was_command_accepted() | gdb_apit | protected | 
| write_to_gdb(const std::string &command) | gdb_apit | protected | 
| ~gdb_apit() | gdb_apit |