specless.parser.LTLfParser

class specless.parser.LTLfParser(engine: str = 'ltlf2dfa')[source]

Bases: object

LTLf Parser It parses a LTLf formula and translate it into a DFA

Methods

parse

Parse a fomula and translate it into a DFA
parse(formula_str: str) → DFA[source]

Parse a fomula and translate it into a DFA

Parameters:

formula (str) – _description_

Raises:

NotImplementedError – _description_

Returns:

_description_

Return type:

DFA