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

Packages that use LogicNGPropositionalParser.LitContext
Package Description

org.logicng.io.parsers

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

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

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

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

Methods in org.logicng.io.parsers with parameters of type LogicNGPropositionalParser.LitContext
Modifier and Type	Method	Description
`void`	LogicNGPropositionalBaseListener.`enterLit(LogicNGPropositionalParser.LitContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.lit()`.
`void`	LogicNGPropositionalListener.`enterLit(LogicNGPropositionalParser.LitContext ctx)`	Enter a parse tree produced by `LogicNGPropositionalParser.lit()`.
`void`	LogicNGPropositionalBaseListener.`exitLit(LogicNGPropositionalParser.LitContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.lit()`.
`void`	LogicNGPropositionalListener.`exitLit(LogicNGPropositionalParser.LitContext ctx)`	Exit a parse tree produced by `LogicNGPropositionalParser.lit()`.