Module output_formats 

This module contains the logic to output a GeneralThresholdAutomaton into a specific format

Functions

into_bymc

Translate a [GeneralThresholdAutomaton] and ELTLSpecification into ByMC specification

into_tla

Translate a [GeneralThresholdAutomaton] and ELTLSpecification into TLA+ specification