Skip to main content

ParseTA

taco_parser

Trait ParseTA 

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

Parse a threshold automaton from a string.

Parsers for threshold automata should implement this trait.

Required Methods§

Source

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

Try to parse the threshold automaton from a string.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§