namespace simgrid {
namespace mc {
+/** A channel for exchanging messages between model-checker and model-checked
+ *
+ * This abstracts away the way the messages are transferred. Currently, they
+ * are sent over a (connected) `SOCK_DGRAM` socket.
+ */
class Channel {
int socket_ = -1;
template<class M>
public:
Channel() {}
- Channel(int sock) : socket_(sock) {}
+ explicit Channel(int sock) : socket_(sock) {}
~Channel();
// No copy: