|
CBMC
|
This is the complete list of members for piped_processt, including all inherited members.
| can_receive(optionalt< std::size_t > wait_time) | piped_processt | |
| can_receive() | piped_processt | |
| child_process_id | piped_processt | protected |
| command_stream | piped_processt | protected |
| get_status() | piped_processt | |
| log | piped_processt | protected |
| operator=(const piped_processt &)=delete | piped_processt | |
| pipe_input | piped_processt | protected |
| pipe_output | piped_processt | protected |
| piped_processt(const std::vector< std::string > &commandvec, message_handlert &message_handler) | piped_processt | explicit |
| piped_processt(const piped_processt &)=delete | piped_processt | |
| process_state | piped_processt | protected |
| receive() | piped_processt | |
| send(const std::string &message) | piped_processt | |
| send_responset enum name | piped_processt | |
| statet enum name | piped_processt | |
| wait_receivable(int wait_time) | piped_processt | |
| wait_receive() | piped_processt | |
| ~piped_processt() | piped_processt |