Include file:
#include "mcrl2/utilities/tool.h"
add your file description here.
mcrl2::utilities::tools::tool
mcrl2/utilities/text_utility.h
mcrl2/utilities/toolset_version.h
