X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/19c58cbb49a4c58174169566b13aafb2b873fd81..89a8ddc975b0e3ecd348d5a9a9b9d3de8b579b2b:/src/mc/Channel.hpp

diff --git a/src/mc/Channel.hpp b/src/mc/Channel.hpp
index 61514adc36..5ede34f106 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 hides the way the messages are transfered. Currently, they are sent
+ *  over a SOCK_DGRAM socket.
+ */
 class Channel {
   int socket_ = -1;
   template<class M>