Deprecated API

Contents

• Fields
• Methods

Fields

Field	Description
org.logicng.io.parsers.LogicNGPropositionalLexer.tokenNames	Use LogicNGPropositionalLexer.VOCABULARY instead.
org.logicng.io.parsers.LogicNGPropositionalParser.tokenNames	Use LogicNGPropositionalParser.VOCABULARY instead.
org.logicng.io.parsers.LogicNGPseudoBooleanLexer.tokenNames	Use LogicNGPseudoBooleanLexer.VOCABULARY instead.
org.logicng.io.parsers.LogicNGPseudoBooleanParser.tokenNames	Use LogicNGPseudoBooleanParser.VOCABULARY instead.

Methods

Method	Description
org.logicng.io.parsers.LogicNGPropositionalLexer.getTokenNames()
org.logicng.io.parsers.LogicNGPropositionalParser.getTokenNames()
org.logicng.io.parsers.LogicNGPseudoBooleanLexer.getTokenNames()
org.logicng.io.parsers.LogicNGPseudoBooleanParser.getTokenNames()