Include file:

#include "mcrl2/smt/child_process.h
class mcrl2::smt::child_process

Protected attributes

std::string mcrl2::smt::child_process::m_name
std::shared_ptr<platform_impl> mcrl2::smt::child_process::m_pimpl

Protected member functions

void initialize()
void send_sigint() const

Send the SIGINT signal to the child.

Public member functions

child_process(const std::string &name)
std::string read() const

Read output from the child process. This is a blocking call.

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

void write(const std::string &s) const