into_tla

taco_cli::cli::output_formats

Function into_tla 

Source 
pub fn into_tla(
    _ta: &GeneralThresholdAutomaton,
    _spec: &ELTLSpecification,
) -> String
Expand description

Translate a [GeneralThresholdAutomaton] and ELTLSpecification into TLA+ specification