Package tulip :: Package spec :: Module parser

Module parser

LTL parser supporting JTLV, SPIN, SMV, and gr1c syntax

Functions

parse(formula, full_operators=False)
Parse formula string and create abstract syntax tree (AST).

Function Details

Parse formula string and create abstract syntax tree (AST).

Parameters:

full_operators (bool) - replace full names of operators with their symbols (case insensitive, each operator must be a separate word).