ParseTAWithLTL

taco_parser

Trait ParseTAWithLTL 

Source 
pub trait ParseTAWithLTL {
    // Required method
    fn parse_ta_and_spec(
        &self,
        input: &str,
    ) -> Result<(GeneralThresholdAutomaton, ELTLSpecification), Error>;
}
Expand description

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

If you know a file or input includes both a threshold automaton and an LTL specification, prefer using this trait. Parsers for threshold automata and LTL specifications should implement this trait.

Required Methods§

Source

fn parse_ta_and_spec( &self, input: &str, ) -> Result<(GeneralThresholdAutomaton, ELTLSpecification), Error>

Try to parse the threshold automaton and LTL specification from a string.

Returns a tuple of the threshold automaton and the LTL specification.

Implementors§