Trait ParseTA 

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

Parse a threshold automaton from a string.

Parsers for threshold automata should implement this trait.

Required Methods

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

Try to parse the threshold automaton from a string.

Implementors

impl ParseTA for ByMCParser

impl ParseTA for TLAParser