5 #ifndef LYDIASYFT_APARSER_H
6 #define LYDIASYFT_APARSER_H
19 std::vector<std::string> input_variables;
20 std::vector<std::string> output_variables;
24 std::string exec(
const char* cmd);
25 std::string ltrim(
const std::string &s);
27 std::string rtrim(
const std::string &s);
29 std::string trim(
const std::string &s);
A parser for reading LTLf synthesis benchmarks in TLSF format.
Definition: Parser.h:16
std::vector< std::string > get_output_variables() const
Return output variables in a vector.
Definition: Parser.cpp:73
std::vector< std::string > get_input_variables() const
Return input variables in a vector.
Definition: Parser.cpp:69
std::string get_formula() const
Return the formula.
Definition: Parser.cpp:77
Parser()
Creates a parser with no items.
Definition: Parser.cpp:15
static Parser read_from_file(const std::string &syfco_location, const std::string &filename)
Obtain an LTLf formula and construct a partition from a TLSF file.
Definition: Parser.cpp:30
bool get_sys_first() const
Return true if the target is a Moore machine.
Definition: Parser.cpp:81