-
Fields Field Description owl.grammar.LTLLexer.tokenNames UseLTLLexer.VOCABULARYinstead.owl.grammar.LTLParser.tokenNames UseLTLParser.VOCABULARYinstead.owl.grammar.TLSFLexer.tokenNames UseTLSFLexer.VOCABULARYinstead.owl.grammar.TLSFParser.tokenNames UseTLSFParser.VOCABULARYinstead.