Uses of Class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext (LogicNG ANTLR Parser 2.6.0 API)

Packages that use LogicNGPropositionalParser.DisjContext
Package Description

org.logicng.io.parsers

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

Fields in org.logicng.io.parsers declared as LogicNGPropositionalParser.DisjContext
Modifier and Type	Field	Description
`LogicNGPropositionalParser.DisjContext`	LogicNGPropositionalParser.ImplContext.`a`

Methods in org.logicng.io.parsers that return LogicNGPropositionalParser.DisjContext
Modifier and Type	Method	Description
`LogicNGPropositionalParser.DisjContext`	LogicNGPropositionalParser.`disj()`
`LogicNGPropositionalParser.DisjContext`	LogicNGPropositionalParser.ImplContext.`disj()`

Methods in org.logicng.io.parsers with parameters of type LogicNGPropositionalParser.DisjContext
Modifier and Type	Method	Description
`void`	LogicNGPropositionalBaseListener.`enterDisj(LogicNGPropositionalParser.DisjContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.disj()`.
`void`	LogicNGPropositionalListener.`enterDisj(LogicNGPropositionalParser.DisjContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.disj()`.
`void`	LogicNGPropositionalBaseListener.`exitDisj(LogicNGPropositionalParser.DisjContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.disj()`.
`void`	LogicNGPropositionalListener.`exitDisj(LogicNGPropositionalParser.DisjContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.disj()`.