Include file:
#include "mcrl2/utilities/file_utility.h"
add your file description here.
mcrl2::utilities::
file_exists
(const std::string &filename)¶mcrl2::utilities::
has_extension
(const std::string &filename, const std::string &extension)¶Returns true if the given filename has the extension ext. The extension does not start with a dot.
mcrl2::utilities::
operator<<
(std::ostream &stream, const file_format &format)¶