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