specless.parser

Linear Temporal Logic (LTL) Parser Module

This module provides a parser for Linear Temporal Logic (LTL) formulas.

Examples

Parse an LTL formula: # TODO: >>> >>> from specless.parser import LTLfParser >>> parser = LTLfParser() >>> formula = “G(a -> F b)” >>> dfa = parser.parse(formula) # doctest: +SKIP

Classes

LTLfParser

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