mcrl2/utilities/file_utility.h

Include file:

#include "mcrl2/utilities/file_utility.h"

add your file description here.

Functions

bool mcrl2::utilities::file_exists(const std::string &filename)
bool 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.

std::ostream &mcrl2::utilities::operator<<(std::ostream &stream, const file_format &format)