mcrl2::utilities::file_format

Include file:

#include "mcrl2/utilities/file_utility.h
class mcrl2::utilities::file_format

Protected attributes

std::string m_description
std::vector<std::string> m_extensions
std::string m_shortname
bool m_text_format

Public member functions

void add_extension(const std::string &ext)
const std::string &description() const
file_format()
file_format(const std::string &shortname, const std::string &description, bool is_text_format)
bool matches(const std::string &filename) const
bool operator<(const file_format &other) const
bool operator==(const file_format &other) const
const std::string &shortname() const
bool text_format() const