X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3e921951f86a30e42dbdc73b9ce04f58db25cec9..18adbd43b8c21a9a2ccfd89a68171cdefa27b206:/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;