Syft::Parser Class Reference

A parser for reading LTLf synthesis benchmarks in TLSF format. More...

#include <Parser.h>

Public Member Functions
	Parser ()
	Creates a parser with no items.
std::vector< std::string >	get_input_variables () const
	Return input variables in a vector.
std::vector< std::string >	get_output_variables () const
	Return output variables in a vector.
std::string	get_formula () const
	Return the formula.
bool	get_sys_first () const
	Return true if the target is a Moore machine.

Static Public Member Functions
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. More...

Detailed Description

A parser for reading LTLf synthesis benchmarks in TLSF format.

Member Function Documentation

read_from_file()

Parser Syft::Parser::read_from_file ( const std::string &  syfco_location, const std::string &  filename  )

static

Obtain an LTLf formula and construct a partition from a TLSF file.

Parameters

filename

The name of the TLSF file.

---

The documentation for this class was generated from the following files:

• src/parser/Parser.h
• src/parser/Parser.cpp