Crate taco_parser 

Traits for parsers that can parse specifications and threshold automata.

This module contains traits that parsers for threshold automata and LTL specifications should implement. The traits are:

• ParseTA, for parsing threshold automata,
• ParseLTLSpec, for parsing LTL specifications,
• ParseTAWithLTL, for parsing threshold automata and LTL specifications.

Modules

bymc

This module contains the parser for the ByMC specification format.

tla

TLA+ Parser module

Traits

ParseTA

Parse a threshold automaton from a string.

ParseTAWithLTL

Parse a threshold automaton and an LTL specification from a string.