mcrl2::utilities::file_format

Include file:

#include "mcrl2/utilities/file_utility.h

class mcrl2::utilities::file_format

Protected attributes

std::string mcrl2::utilities::file_format::m_description

std::vector<std::string> mcrl2::utilities::file_format::m_extensions

std::string mcrl2::utilities::file_format::m_shortname

bool mcrl2::utilities::file_format::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