private:
std::unique_ptr<ModelChecker> modelChecker_;
-private: //
+private:
Session(pid_t pid, int socket);
// No copy:
~Session();
void close();
+public:
+ void execute(Transition const& transition);
+ void logState();
+
public: // static constructors
/** Create a new session by forking