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()