Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPropositionalParser.ImplContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

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

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
LogicNGPropositionalParser.DisjContext	disj()
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
LogicNGPropositionalParser.ImplContext	impl()
org.antlr.v4.runtime.tree.TerminalNode	IMPL()

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.DisjContext a

b

public LogicNGPropositionalParser.ImplContext b

Constructor Detail

ImplContext

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

Method Detail

disj

public LogicNGPropositionalParser.DisjContext disj()

IMPL

public org.antlr.v4.runtime.tree.TerminalNode IMPL()

impl

public LogicNGPropositionalParser.ImplContext impl()

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