private TlaAutomaton ParseStringAutomaton(string strAutomaton, AutomatonParsingContext ctx)
{
var automatonParser = new LtlAutomatonTextParser();
var automaton = automatonParser.ParseTlaAutomaton(strAutomaton, true, ctx);
return(automaton);
}
public TlaAutomaton Parse(string ltl)
{
var ctx = new AutomatonParsingContext(ltl);
var strAutomaton = this.GetStringAutomaton(this.NegateLtl(ctx.EscapedLtl));
//var strAutomaton = this.GetStringAutomaton(ctx.EscapedLtl);
var automaton = this.ParseStringAutomaton(strAutomaton, ctx);
return(automaton);
}
