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

Packages that use LogicNGPropositionalParser.EquivContext

Package	Description
org.logicng.io.parsers

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

Fields in org.logicng.io.parsers declared as LogicNGPropositionalParser.EquivContext

Modifier and Type	Field	Description
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.EquivContext.b
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.FormulaContext.equiv
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.SimpContext.equiv

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

Modifier and Type	Method	Description
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.equiv()
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.EquivContext.equiv()
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.FormulaContext.equiv()
LogicNGPropositionalParser.EquivContext	LogicNGPropositionalParser.SimpContext.equiv()

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

Modifier and Type	Method	Description
void	LogicNGPropositionalBaseListener.enterEquiv(LogicNGPropositionalParser.EquivContext ctx)	Enter a parse tree produced by LogicNGPropositionalParser.equiv().
void	LogicNGPropositionalListener.enterEquiv(LogicNGPropositionalParser.EquivContext ctx)	Enter a parse tree produced by LogicNGPropositionalParser.equiv().
void	LogicNGPropositionalBaseListener.exitEquiv(LogicNGPropositionalParser.EquivContext ctx)	Exit a parse tree produced by LogicNGPropositionalParser.equiv().
void	LogicNGPropositionalListener.exitEquiv(LogicNGPropositionalParser.EquivContext ctx)	Exit a parse tree produced by LogicNGPropositionalParser.equiv().