Module output_formats

taco_cli::cli

Module output_formats 

Source
Expand description

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