• Alexandre Duret-Lutz's avatar
    Enable parsing stand-alone rational expressions with the LTL parser. · 9aebb80e
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlparse.yy (parse_ratexp): New function.
    (START_LTL, START_RATEXP): Add these new tokens.
    (result): Parse and LTL formula or a rational expression depending
    on the start symbol.
    * src/ltlparse/public.hh (parse_ratexp): New function.
    * src/ltlparse/parsedecl.hh (flex_set_buffer): Add a new argument
    to set the starting rule.
    * src/ltlparse/ltlscan.ll (flex_set_buffer): Adjust.
    (start_token): New global variable.  Return this as first token if
    it is set.