Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPropositionalParser.DisjContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

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:

LogicNGPropositionalParser

public static class LogicNGPropositionalParser.DisjContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields

Modifier and Type	Field	Description
LogicNGPropositionalParser.ConjContext	a
LogicNGPropositionalParser.ConjContext	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
DisjContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method	Description
List<LogicNGPropositionalParser.ConjContext>	conj()
LogicNGPropositionalParser.ConjContext	conj(int i)
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
List<org.antlr.v4.runtime.tree.TerminalNode>	OR()
org.antlr.v4.runtime.tree.TerminalNode	OR(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 LogicNGPropositionalParser.ConjContext a

b

public LogicNGPropositionalParser.ConjContext b

Constructor Detail

DisjContext

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

Method Detail

conj

public List<LogicNGPropositionalParser.ConjContext> conj()

conj

public LogicNGPropositionalParser.ConjContext conj(int i)

OR

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

OR

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