mcrl2/utilities/command_line_interface.hΒΆ

Include file:

#include "mcrl2/utilities/command_line_interface.h"

Components for command line interfaces of mCRL2 tools.