Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPseudoBooleanParser.ConjContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTree, org.antlr.v4.runtime.tree.RuleNode, org.antlr.v4.runtime.tree.SyntaxTree, org.antlr.v4.runtime.tree.Tree

Enclosing class:

LogicNGPseudoBooleanParser

public static class LogicNGPseudoBooleanParser.ConjContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field	Description
LogicNGPseudoBooleanParser.LitContext	a
LogicNGPseudoBooleanParser.LitContext	b
org.logicng.formulas.Formula	f

Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

children, EMPTY, exception, start, stop

Fields inherited from class org.antlr.v4.runtime.RuleContext

invokingState, parent

Constructor Summary

Constructors

Constructor	Description
ConjContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method	Description
List<org.antlr.v4.runtime.tree.TerminalNode>	AND()
org.antlr.v4.runtime.tree.TerminalNode	AND(int i)
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
List<LogicNGPseudoBooleanParser.LitContext>	lit()
LogicNGPseudoBooleanParser.LitContext	lit(int i)

Methods inherited from class org.antlr.v4.runtime.ParserRuleContext

addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

Methods inherited from class org.antlr.v4.runtime.RuleContext

accept, depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

f

public org.logicng.formulas.Formula f

a

public LogicNGPseudoBooleanParser.LitContext a

b

public LogicNGPseudoBooleanParser.LitContext b

Constructor Detail

ConjContext

public ConjContext(org.antlr.v4.runtime.ParserRuleContext parent,
                   int invokingState)

Method Detail

lit

public List<LogicNGPseudoBooleanParser.LitContext> lit()

lit

public LogicNGPseudoBooleanParser.LitContext lit(int i)

AND

public List<org.antlr.v4.runtime.tree.TerminalNode> AND()

AND

public org.antlr.v4.runtime.tree.TerminalNode AND(int i)

getRuleIndex

public int getRuleIndex()

Overrides:

getRuleIndex in class org.antlr.v4.runtime.RuleContext

enterRule

public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

enterRule in class org.antlr.v4.runtime.ParserRuleContext

exitRule

public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

exitRule in class org.antlr.v4.runtime.ParserRuleContext