Include file:
#include "mcrl2/utilities/basename.h"
functions to get the executable’s basename.
mcrl2::utilities::
::
get_executable_basename
Returns the basename of a tool.
Returns: A string
uncompiled_library
mcrl2/utilities/big_numbers.h