12#ifndef MCRL2_PBES_PBES_INPUT_TOOL_H
13#define MCRL2_PBES_PBES_INPUT_TOOL_H
30template <
typename Tool>
43 std::set<utilities::file_format> result;
73 Tool::add_options(desc);
75 auto option_argument = utilities::make_enum_argument<std::string>(
"FORMAT");
78 option_argument.add_value_desc(type.shortname(), type.description(), type ==
default_input_format());
80 desc.add_option(
"in", option_argument,
"use input format FORMAT:",
'i');
87 Tool::parse_options(parser);
89 if(parser.options.count(
"in"))
92 std::string arg = parser.option_argument_as<std::string>(
"in");
95 if (type.shortname() == arg)
122 const std::string& author,
123 const std::string& what_is,
124 const std::string& tool_description,
125 std::string known_issues =
""
127 : Tool(name, author, what_is, tool_description, known_issues)
Components for command line interfaces of mCRL2 tools.
#define mCRL2log(LEVEL)
mCRL2log(LEVEL) provides the stream used to log.
const utilities::file_format & pbes_format_pgsolver()
const utilities::file_format & pbes_format_internal()
const utilities::file_format & pbes_format_text()
const utilities::file_format guess_format(const std::string &filename)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
IO routines for boolean equation systems.