public static E BuildAstLTL <E>(ILtlExtension <E> alg, string input)
{
ICharStream stream = CharStreams.fromstring(input);
ITokenSource lexer = new LtlLexer(stream);
ITokenStream tokens = new CommonTokenStream(lexer);
LtlParser parser = new LtlParser(tokens);
LtlListener <E> listener = new LtlListener <E>(alg);
parser.ltl().EnterRule(listener);
return(listener.GetResult());
}
public LtlListener(ILtlExtension <T> alg)
{
this.alg = alg;
}