CBMC
piped_processt Member List

This is the complete list of members for piped_processt, including all inherited members.

can_receive(std::optional< std::size_t > wait_time)piped_processt
can_receive()piped_processt
child_process_idpiped_processtprotected
command_streampiped_processtprotected
get_status()piped_processt
logpiped_processtprotected
operator=(const piped_processt &)=deletepiped_processt
pipe_inputpiped_processtprotected
pipe_outputpiped_processtprotected
piped_processt(const std::vector< std::string > &commandvec, message_handlert &message_handler)piped_processtexplicit
piped_processt(const piped_processt &)=deletepiped_processt
process_statepiped_processtprotected
receive()piped_processt
send(const std::string &message)piped_processt
send_responset enum namepiped_processt
statet enum namepiped_processt
wait_receivable(int wait_time)piped_processt
wait_receive()piped_processt
~piped_processt()piped_processt