Uses of Class
org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

Packages that use LogicNGPropositionalParser.FormulaContext

Package	Description
org.logicng.io.parsers

Uses of LogicNGPropositionalParser.FormulaContext in org.logicng.io.parsers

Methods in org.logicng.io.parsers that return LogicNGPropositionalParser.FormulaContext

Modifier and Type	Method	Description
LogicNGPropositionalParser.FormulaContext	LogicNGPropositionalParser.formula()

Methods in org.logicng.io.parsers with parameters of type LogicNGPropositionalParser.FormulaContext

Modifier and Type	Method	Description
void	LogicNGPropositionalBaseListener.enterFormula(LogicNGPropositionalParser.FormulaContext ctx)	Enter a parse tree produced by LogicNGPropositionalParser.formula().
void	LogicNGPropositionalListener.enterFormula(LogicNGPropositionalParser.FormulaContext ctx)	Enter a parse tree produced by LogicNGPropositionalParser.formula().
void	LogicNGPropositionalBaseListener.exitFormula(LogicNGPropositionalParser.FormulaContext ctx)	Exit a parse tree produced by LogicNGPropositionalParser.formula().
void	LogicNGPropositionalListener.exitFormula(LogicNGPropositionalParser.FormulaContext ctx)	Exit a parse tree produced by LogicNGPropositionalParser.formula().