X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0c1113a3d64447cac78d831318fd050b8d2ae9a4..9cc0d42f835e6aa5ea5195a346098e74b0376927:/src/mc/Client.hpp diff --git a/src/mc/Client.hpp b/src/mc/Client.hpp index b4f95caa90..36a6578c83 100644 --- a/src/mc/Client.hpp +++ b/src/mc/Client.hpp @@ -22,6 +22,10 @@ namespace simgrid { namespace mc { +/** Model-checked-side of the communication protocol + * + * Send messages to the model-checker and handles message from it. + */ class XBT_PUBLIC() Client { private: bool active_ = false;