Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPseudoBooleanParser.SimpContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

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

Field Summary

Fields

Modifier and Type	Field	Description
LogicNGPseudoBooleanParser.ComparisonContext	comparison
LogicNGPseudoBooleanParser.ConstantContext	constant
LogicNGPseudoBooleanParser.EquivContext	equiv
org.logicng.formulas.Formula	f
org.antlr.v4.runtime.Token	LITERAL
org.antlr.v4.runtime.Token	NUMBER

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

Method Summary

Modifier and Type	Method	Description
LogicNGPseudoBooleanParser.ComparisonContext	comparison()
LogicNGPseudoBooleanParser.ConstantContext	constant()
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
LogicNGPseudoBooleanParser.EquivContext	equiv()
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
org.antlr.v4.runtime.tree.TerminalNode	LBR()
org.antlr.v4.runtime.tree.TerminalNode	LITERAL()
org.antlr.v4.runtime.tree.TerminalNode	NUMBER()
org.antlr.v4.runtime.tree.TerminalNode	RBR()

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

NUMBER

public org.antlr.v4.runtime.Token NUMBER

LITERAL

public org.antlr.v4.runtime.Token LITERAL

constant

public LogicNGPseudoBooleanParser.ConstantContext constant

comparison

public LogicNGPseudoBooleanParser.ComparisonContext comparison

equiv

public LogicNGPseudoBooleanParser.EquivContext equiv

Constructor Detail

SimpContext

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

Method Detail

NUMBER

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

LITERAL

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

constant

public LogicNGPseudoBooleanParser.ConstantContext constant()

comparison

public LogicNGPseudoBooleanParser.ComparisonContext comparison()

LBR

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

equiv

public LogicNGPseudoBooleanParser.EquivContext equiv()

RBR

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

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