parse_ltl_specification

taco_parser::bymc

Function parse_ltl_specification 

Source 
fn parse_ltl_specification<T>(
    pair: Pair<'_, Rule>,
    builder: &T,
    ctx: &ByMCParsingContext<'_>,
) -> Result<(String, ELTLExpression), Error>
where
    T: IsDeclared<Variable> + IsDeclared<Location> + IsDeclared<Parameter>,
Expand description

Parse a single ltl specification

This function parses a single ltl specification and returns the name of the specification and the ltl expression.