Module org.logicng.parsers

Package org.logicng.io.parsers

Interface Summary

Interface	Description
LogicNGPropositionalListener	This interface defines a complete listener for a parse tree produced by LogicNGPropositionalParser.
LogicNGPseudoBooleanListener	This interface defines a complete listener for a parse tree produced by LogicNGPseudoBooleanParser.

Class Summary

Class	Description
FormulaParser	Super class for a formula parser.
LogicNGPropositionalBaseListener	This class provides an empty implementation of LogicNGPropositionalListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
LogicNGPropositionalLexer
LogicNGPropositionalParser
LogicNGPropositionalParser.ConjContext
LogicNGPropositionalParser.ConstantContext
LogicNGPropositionalParser.DisjContext
LogicNGPropositionalParser.EquivContext
LogicNGPropositionalParser.FormulaContext
LogicNGPropositionalParser.ImplContext
LogicNGPropositionalParser.LitContext
LogicNGPropositionalParser.SimpContext
LogicNGPseudoBooleanBaseListener	This class provides an empty implementation of LogicNGPseudoBooleanListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
LogicNGPseudoBooleanLexer
LogicNGPseudoBooleanParser
LogicNGPseudoBooleanParser.AddContext
LogicNGPseudoBooleanParser.ComparisonContext
LogicNGPseudoBooleanParser.ConjContext
LogicNGPseudoBooleanParser.ConstantContext
LogicNGPseudoBooleanParser.DisjContext
LogicNGPseudoBooleanParser.EquivContext
LogicNGPseudoBooleanParser.FormulaContext
LogicNGPseudoBooleanParser.ImplContext
LogicNGPseudoBooleanParser.LitContext
LogicNGPseudoBooleanParser.MulContext
LogicNGPseudoBooleanParser.SimpContext
ParserWithFormula	Abstract super class for parsers which have a formula factory and return a formula.
PropositionalLexer	A lexer for propositional formulas.
PropositionalParser	A parser for propositional formulas.
PseudoBooleanLexer	A lexer for pseudo boolean formulas.
PseudoBooleanParser	A parser for pseudo Boolean formulas.

Exception Summary

Exception	Description
LexerException	A lexer exception for the lexers.
ParserException	A parser exception for the LogicNG parsers.