X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/aabd69e2ec25a7e7e1b6e3d7d86f531c42f4fca9..e5926d5b5a0cc033e611562ce6668ce693a5ef15:/src/mc/Channel.hpp

diff --git a/src/mc/Channel.hpp b/src/mc/Channel.hpp
index 61514adc36..30e03c6b1f 100644
--- a/src/mc/Channel.hpp
+++ b/src/mc/Channel.hpp
@@ -16,6 +16,11 @@
 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>
@@ -26,7 +31,7 @@ class Channel {
 public:
 
   Channel() {}
-  Channel(int sock) : socket_(sock) {}
+  explicit Channel(int sock) : socket_(sock) {}
   ~Channel();
 
   // No copy: