Package | Description |
---|---|
owl.translations.frequency |
Field | Description |
---|---|
owl.grammar.LTLLexer.tokenNames |
Use
LTLLexer.VOCABULARY instead. |
owl.grammar.LTLParser.tokenNames |
Use
LTLParser.VOCABULARY instead. |
owl.grammar.TLSFLexer.tokenNames |
Use
TLSFLexer.VOCABULARY instead. |
owl.grammar.TLSFParser.tokenNames |
Use
TLSFParser.VOCABULARY instead. |
Method | Description |
---|---|
owl.grammar.LTLLexer.getTokenNames() | |
owl.grammar.LTLParser.getTokenNames() | |
owl.grammar.TLSFLexer.getTokenNames() | |
owl.grammar.TLSFParser.getTokenNames() |