translate_ta

taco_cli::cli

Function translate_ta 

Source 
pub(crate) fn translate_ta(
    ta: &GeneralThresholdAutomaton,
    spec: &ELTLSpecification,
    out: TranslationOutput,
) -> Result<(), Error>
Expand description

Translate a threshold automaton into the specified format and write the resulting specification to the specified output file