mcrl2::smt::child_process =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/smt/child_process.h .. cpp:class:: mcrl2::smt::child_process Protected attributes ------------------------------------------------------------------------------- .. cpp:member:: std::string mcrl2::smt::child_process::m_name .. cpp:member:: std::shared_ptr< platform_impl > mcrl2::smt::child_process::m_pimpl Protected member functions ------------------------------------------------------------------------------- .. cpp:function:: void initialize() .. cpp:function:: void send_sigint() const Send the SIGINT signal to the child. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: child_process(const std::string &name) .. cpp:function:: std::string read() const Read output from the child process. This is a blocking call. .. cpp:function:: std::string read(const std::chrono::microseconds &timeout) const Read output from the child process. If no output is available before the timeout happens, a SIGINT signal is sent to the child process and the resulting output is read and returned. NOTE: this function is not on Windows, and behaves like read() .. cpp:function:: void write(const std::string &s) const .. cpp:function:: ~child_process()