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

Packages that use LogicNGPseudoBooleanParser.DisjContext
Package Description

org.logicng.io.parsers

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

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

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

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