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

Packages that use LogicNGPropositionalParser.ConjContext
Package Description

org.logicng.io.parsers

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

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

Methods in org.logicng.io.parsers that return LogicNGPropositionalParser.ConjContext
Modifier and Type	Method	Description
`LogicNGPropositionalParser.ConjContext`	LogicNGPropositionalParser.`conj()`
`LogicNGPropositionalParser.ConjContext`	LogicNGPropositionalParser.DisjContext.`conj(int i)`

Methods in org.logicng.io.parsers that return types with arguments of type LogicNGPropositionalParser.ConjContext
Modifier and Type	Method	Description
`List<LogicNGPropositionalParser.ConjContext>`	LogicNGPropositionalParser.DisjContext.`conj()`

Methods in org.logicng.io.parsers with parameters of type LogicNGPropositionalParser.ConjContext
Modifier and Type	Method	Description
`void`	LogicNGPropositionalBaseListener.`enterConj(LogicNGPropositionalParser.ConjContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.conj()`.
`void`	LogicNGPropositionalListener.`enterConj(LogicNGPropositionalParser.ConjContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.conj()`.
`void`	LogicNGPropositionalBaseListener.`exitConj(LogicNGPropositionalParser.ConjContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.conj()`.
`void`	LogicNGPropositionalListener.`exitConj(LogicNGPropositionalParser.ConjContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.conj()`.