Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPseudoBooleanParser.AddContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

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.AddContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field	Description
org.antlr.v4.runtime.Token	ADD
List<Integer>	coeffs
List<org.logicng.formulas.Literal>	literals
LogicNGPseudoBooleanParser.MulContext	m1
LogicNGPseudoBooleanParser.MulContext	m2

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
AddContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method	Description
List<org.antlr.v4.runtime.tree.TerminalNode>	ADD()
org.antlr.v4.runtime.tree.TerminalNode	ADD(int i)
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
List<LogicNGPseudoBooleanParser.MulContext>	mul()
LogicNGPseudoBooleanParser.MulContext	mul(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

literals

public List<org.logicng.formulas.Literal> literals

coeffs

public List<Integer> coeffs

m1

public LogicNGPseudoBooleanParser.MulContext m1

ADD

public org.antlr.v4.runtime.Token ADD

m2

public LogicNGPseudoBooleanParser.MulContext m2

Constructor Detail

AddContext

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

Method Detail

mul

public List<LogicNGPseudoBooleanParser.MulContext> mul()

mul

public LogicNGPseudoBooleanParser.MulContext mul(int i)

ADD

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

ADD

public org.antlr.v4.runtime.tree.TerminalNode ADD(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