mcrl2/smt/child_process.h

Include file:

#include "mcrl2/smt/child_process.h"

Classes

• mcrl2::smt::child_process